../ docs/ 23-Jun-2017 23:17 - editors/ 23-Jun-2017 23:17 - licenses/ 23-Jun-2017 23:17 - BUGS.txt 06-Jun-2013 09:13 9718 COPYING.txt 16-Oct-2012 12:40 5530 FAQ.txt 03-Jul-2013 09:39 45K HISTORY.txt 22-Jul-2013 07:55 107K README.txt 23-Mar-2013 14:20 11K RELEASE-NOTES.txt 22-Jul-2013 07:55 16K THANKS.txt 26-Aug-2012 15:42 3192