Use jQuery UI tabs widget for tabbed fieldsets

Thomas Bruederli

2014-06-03 5cf77e1159b3aea337a08a9a8eef82c47b49bbd7

1
2
3
4
5
# this is a comment
# and the second line
 
require ["variables"];
set "b" "c";