| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .SRCINFO | 597 | logstatsplain |
| -rw-r--r-- | .gitignore | 26 | logstatsplain |
| -rw-r--r-- | PKGBUILD | 1785 | logstatsplain |
| -rw-r--r-- | icon.png | 9960 | logstatsplain |
| -rwxr-xr-x | tla+toolbox.desktop | 424 | logstatsplain |
| -rw-r--r-- | tla+toolbox.xml | 363 | logstatsplain |
