diff options
| author | Bert Münnich <ber.t@posteo.de> | 2017-09-08 16:20:03 +0200 |
|---|---|---|
| committer | Bert Münnich <ber.t@posteo.de> | 2017-09-08 16:20:05 +0200 |
| commit | a46006f527db5743c3cb43e541857705a05884cf (patch) | |
| tree | 52b2e5806eeaba260df336c35abc2087890997eb /.gitignore | |
| parent | e46b1fa609b96194633c58bf75df9c88ede44a90 (diff) | |
Support out-of-source builds
Fixes issue #167. Long after closing this issue (kind of wontfix) we have switched to
GNU make and can thus use its features like VPATH.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions