treestyletab/defaults/preferences
2012-08-31 03:48:00 +09:00
..
treestyletab.js Rename preferences for vertical tab bar with the suffix ".vertical" 2012-08-31 03:48:00 +09:00