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/EiffelStudio | |
| 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/EiffelStudio')
| -rw-r--r-- | options/gitignore/EiffelStudio | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/options/gitignore/EiffelStudio b/options/gitignore/EiffelStudio index a7ba35f824..f41b4f7021 100644 --- a/options/gitignore/EiffelStudio +++ b/options/gitignore/EiffelStudio @@ -1,2 +1,2 @@ -# The compilation directoy +# The compilation directory EIFGENs |