source:
defaults/preferences
@
591297
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
preferences.js | 3.9 KB | 591297 | 13 years | bugfix for #162, missed changed name of pref. |
|
Note: See TracBrowser
for help on using the repository browser.