| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENCE_jargs | 1593 | logplain |
| -rw-r--r-- | ManifestMain.txt | 109 | logplain |
| d--------- | de / uka / ilkd / key / ocl / gf | 30 | logplain |
| -rw-r--r-- | gf-icon.gif | 798 | logplain |
| -rw-r--r-- | jargs-1.0.jar | 11406 | logplain |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |
