diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-09-19 21:34:24 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-09-21 01:12:56 +0200 |
| commit | 472439d3c5abc271f22a8460680b9aecfb4eb323 (patch) | |
| tree | 3fdb0277df8e583adde7d70268099b00dc1a80e9 /.gitignore | |
| parent | feat(language): problem desugaring (diff) | |
| download | refinery-472439d3c5abc271f22a8460680b9aecfb4eb323.tar.gz refinery-472439d3c5abc271f22a8460680b9aecfb4eb323.tar.zst refinery-472439d3c5abc271f22a8460680b9aecfb4eb323.zip | |
build: IntelliJ support
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -1,5 +1,6 @@ | |||
| 1 | *._trace | 1 | *._trace |
| 2 | .classpath | 2 | .classpath |
| 3 | .idea/ | ||
| 3 | .gradle/ | 4 | .gradle/ |
| 4 | .launch | 5 | .launch |
| 5 | .log/ | 6 | .log/ |