ace/plugins/pilot
2010-12-03 15:38:51 +00:00
..
lib convert settings API to have Setting class with get() and set() methods. Also several tidy-ups 2010-12-03 15:38:51 +00:00