diff options
| author | Thibault Gagnaux <tgagnaux@gmail.com> | 2021-12-10 09:31:44 +0100 |
|---|---|---|
| committer | Thibault Gagnaux <tgagnaux@gmail.com> | 2021-12-10 09:31:44 +0100 |
| commit | 815cc93c870a2a857de8c5dd1dcc8c9aa5b4f2a8 (patch) | |
| tree | f0d59e556be038c22caada3d93bc4006d438d413 /settings.gradle | |
| parent | 401e4b8752d873465ac197ff1cc7ae3484608ddf (diff) | |
| download | frege-gradle-plugin-815cc93c870a2a857de8c5dd1dcc8c9aa5b4f2a8.tar.gz frege-gradle-plugin-815cc93c870a2a857de8c5dd1dcc8c9aa5b4f2a8.tar.bz2 frege-gradle-plugin-815cc93c870a2a857de8c5dd1dcc8c9aa5b4f2a8.zip | |
refactor: adds an internal `depsFrege` task and simplifes `replFrege`
- `depsFregeTask`: only internal use for the vscode plugin to automate the
repl code lens.
- `replFregeTask`: simplified to only print the command to start the repl because
starting and interacting through a console is not gradle's core strength. See
https://github.com/tricktron/frege-gradle-plugin/issues/11.
Diffstat (limited to 'settings.gradle')
0 files changed, 0 insertions, 0 deletions