5 Commits (wilder-22.12)

Author SHA1 Message Date
Pino Toscano c69e872d87 synctex is "external code", make krazy stay away from it 16 years ago
Pino Toscano 975eae6e45 - finetune the imported chm stuff 18 years ago
Pino Toscano 71f4bc4d1c remove the old agg stuff; fix the path for the external gs stuff (libspectre) 18 years ago
Pino Toscano a114192823 SVN_SILENT exclude the 'unpluck' subdir of plucker backend, it should be an external library 19 years ago
Allen Winter 282b23b29e tell Krazy to skip over some 3rd party subdirs 19 years ago