https://github.com/gapt/gapt
Tip revision: a96875952dc9c5b958f39e37e12be3e5f34a455a authored by Jannik Vierling on 17 August 2018, 08:24:14 UTC
Release 2.12.
Release 2.12.
Tip revision: a968759
| File | Mode | Size |
|---|---|---|
| cli | ||
| core | ||
| doc | ||
| examples | ||
| project | ||
| testing | ||
| tests | ||
| .codecov.yml | -rw-r--r-- | 152 bytes |
| .gitignore | -rw-r--r-- | 823 bytes |
| .sbtopts | -rw-r--r-- | 10 bytes |
| .travis.yml | -rw-r--r-- | 498 bytes |
| COPYING | -rw-r--r-- | 34.3 KB |
| README.md | -rw-r--r-- | 2.8 KB |
| RELEASE-NOTES.md | -rw-r--r-- | 4.8 KB |
| build.sbt | -rw-r--r-- | 10.2 KB |
| escargot.sh | -rwxr-xr-x | 116 bytes |
| gapt.sh | -rwxr-xr-x | 447 bytes |
| include.sh | -rw-r--r-- | 716 bytes |
| viper.sh | -rwxr-xr-x | 110 bytes |
