diff options
| author | Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> | 2008-01-17 19:35:32 +0000 |
|---|---|---|
| committer | Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> | 2008-01-17 19:35:32 +0000 |
| commit | ecfdc4bc31504748710e4ca6cc45885b215d6171 (patch) | |
| tree | 5200d73804c1edf6d16eed28c0fd1ad4b8dcf335 | |
| parent | 861243899e7647fdff58763c4851c162fc2bdf57 (diff) | |
- remove unused file
| -rw-r--r-- | extra/Configs/Config.default | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/extra/Configs/Config.default b/extra/Configs/Config.default deleted file mode 100644 index a93596d42..000000000 --- a/extra/Configs/Config.default +++ /dev/null @@ -1,2 +0,0 @@ -# This file is empty to let people select their own -# build options however they like.... |