| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-02-24 | adding a task openFregeRepl that opens the repl with the current compile ↵ | Dierk Koenig | |
| classpath on the source directory. Since the repl dependencies cannot be loaded from mavenCentral, one has to set the replDir where the download is. Default is <user.home>/.frege/repl | |||
 |
index : github/frege-gradle-plugin.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiff |