/devtools/ draft
drwxr-xr-x [up]
-rw-r--r-- 2018-07-04 15:23 +0200 71 .cvsignore
-rw-r--r-- 2018-07-04 15:23 +0200 6269 Make.proto
-rw-r--r-- 2018-07-04 15:23 +0200 2300 Make.spec
-rw-r--r-- 2018-07-04 15:23 +0200 1683 PPCompositeParserGenerator.st
-rw-r--r-- 2018-07-04 15:23 +0200 2268 PPDebugger.st
-rw-r--r-- 2018-07-04 15:23 +0200 1642 PPDebuggingParser.st
-rw-r--r-- 2018-07-04 15:23 +0200 7814 PPParserVisitor.st
-rw-r--r-- 2018-07-04 15:23 +0200 4410 PPPrinter.st
-rw-r--r-- 2018-07-04 15:23 +0200 3501 XBGFParser.st
-rw-r--r-- 2018-07-04 15:23 +0200 790 abbrev.stc
-rw-r--r-- 2018-07-04 15:23 +0200 5647 bc.mak
-rw-r--r-- 2018-07-04 15:23 +0200 388 bmake.bat
-rw-r--r-- 2018-07-04 15:23 +0200 1156 devtools.rc
-rw-r--r-- 2018-07-04 15:23 +0200 9006 extensions.st
-rw-r--r-- 2018-07-04 15:23 +0200 190 lccmake.bat
-rw-r--r-- 2018-07-04 15:23 +0200 1461 libInit.cc
-rw-r--r-- 2018-07-04 15:23 +0200 409 mingwmake.bat
-rw-r--r-- 2018-07-04 15:23 +0200 4697 stx_goodies_petitparser_devtools.st
-rw-r--r-- 2018-07-04 15:23 +0200 484 vcmake.bat