Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .SRCINFO | 870 | logstatsplain |
-rw-r--r-- | .gitignore | 0 | logstatsplain |
-rw-r--r-- | PKGBUILD | 1214 | logstatsplain |
-rwxr-xr-x | pcal | 77 | logstatsplain |
-rwxr-xr-x | tla2sany | 80 | logstatsplain |
-rwxr-xr-x | tla2tex | 78 | logstatsplain |
-rwxr-xr-x | tlc | 75 | logstatsplain |