Cross Reference: run.sh
xref
: /
hets
/
test
/
RenameFreetypes
/
run.sh
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
run.sh revision 2764758795be1dc0979461bf966e450c10e776f2
#!/
bin
/
sh
../../
hets
-
v2
-o
thy
*.
het
../../
utils
/
nightly
/
linux
/
runisabelle.sh
*.
thy