diff options
| author | stijn | 2015-04-30 10:14:59 +0200 |
|---|---|---|
| committer | stijn | 2015-04-30 10:14:59 +0200 |
| commit | a62c10697437df8af19f57d8a9aa9af21624a399 (patch) | |
| tree | 00f2483e3fc880f8a7adb53b600102b03e109f1b /.gitignore | |
| parent | 6f218d74725e38e71aeed27250d8c67dd83401d8 (diff) | |
msvc: Allow overriding of build options with custom file
- by default look for a user.props in the msvc directory, which is more convenient
than the built-in way of looking for such file in the user's home directory
- make git ignore the file
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 64f72aee5..450bbd863 100644 --- a/.gitignore +++ b/.gitignore @@ -33,5 +33,7 @@ tests/*.out ###################### __pycache__/ -# Customized Makefile overrides +# Customized Makefile/project overrides +###################### GNUmakefile +user.props |