6eeac106ebfe1d0ba9cacd832b0e7f8b2824282d
SKIPPED: psi/tecs/pg_plus/make_gen psi/tecs/pg_plus/makefile psi/tecs/pg_plus/makefile_linux psi/tecs/pg_plus/makefile_macosx
Description
SICS version for SEA (generic part)
Languages
C
77.6%
TeX
8.6%
Tcl
6.7%
CWeb
6%
SWIG
0.6%
Other
0.3%