https://github.com/gapt/gapt
Tip revision: 2aeac75ba9e0848a720968791e02e715a9098228 authored by Jannik Vierling on 19 March 2018, 07:07:29 UTC
Release 2.10.
Release 2.10.
Tip revision: 2aeac75
| 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.4 KB |
| build.sbt | -rw-r--r-- | 10.0 KB |
| escargot.sh | -rwxr-xr-x | 125 bytes |
| gapt.sh | -rwxr-xr-x | 428 bytes |
| include.sh | -rw-r--r-- | 716 bytes |
| viper.sh | -rwxr-xr-x | 119 bytes |
