diff options
| author | Thomas Boerger <thomas@webhippie.de> | 2017-03-15 13:30:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-15 13:30:00 +0100 |
| commit | a06c3ad2c02a5473184711be6dbf1b30f0299e11 (patch) | |
| tree | ce0ac065a6afa843ce298d00d1761b5cf48accf9 /options/gitignore/Julia | |
| parent | 09fe4a2ae9dfa8b3bc8a5039d0feab1e1a34d07b (diff) | |
| download | gitea-a06c3ad2c02a5473184711be6dbf1b30f0299e11.tar.gz gitea-a06c3ad2c02a5473184711be6dbf1b30f0299e11.zip | |
Synced gitignores with github repo (#1245)
* Renamed scripts directory into contrib
* Added script to download gitignores from github
* Synced gitignores with github repo
Diffstat (limited to 'options/gitignore/Julia')
| -rw-r--r-- | options/gitignore/Julia | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/options/gitignore/Julia b/options/gitignore/Julia new file mode 100644 index 0000000000..381e0b6d25 --- /dev/null +++ b/options/gitignore/Julia @@ -0,0 +1,4 @@ +*.jl.cov +*.jl.*.cov +*.jl.mem +deps/deps.jl |