| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | FileTypes.png | 110654 | logplain |
| -rw-r--r-- | external_tool_frepl.png | 198719 | logplain |
| -rw-r--r-- | external_tool_run.png | 180110 | logplain |
| -rw-r--r-- | external_tool_test.png | 195869 | logplain |
| -rw-r--r-- | watcher_fregeCompile.png | 219827 | logplain |
 |
index : github/frege-gradle-plugin.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiff |
