diff options
| author | Stefano Germano <stefanogermano0@gmail.com> | 2020-09-20 01:56:31 +0200 |
|---|---|---|
| committer | Stefano Germano <stefanogermano0@gmail.com> | 2020-09-20 01:56:31 +0200 |
| commit | 36955b4e8209162a10198b4914d3e9a2ad9e260a (patch) | |
| tree | 768e4019651439399aa9459ab4c120ba09a42bd8 | |
| parent | 2d55d441335d28b8a04065caba883785d8952cfb (diff) | |
| download | RSAComb-36955b4e8209162a10198b4914d3e9a2ad9e260a.tar.gz RSAComb-36955b4e8209162a10198b4914d3e9a2ad9e260a.zip | |
VSCode/Metals exclusions
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
| @@ -44,3 +44,7 @@ Sessionx.vim | |||
| 44 | .netrwhist | 44 | .netrwhist |
| 45 | tags | 45 | tags |
| 46 | [._]*.un~ | 46 | [._]*.un~ |
| 47 | |||
| 48 | .vscode/settings.json | ||
| 49 | .vscode/launch.json | ||
| 50 | project/project/metals.sbt | ||