diff options
| author | Joris | 2016-11-20 18:29:37 +0100 |
|---|---|---|
| committer | Joris | 2016-11-20 18:29:37 +0100 |
| commit | ed26639440b13ebb351687a649a6ef548b50085c (patch) | |
| tree | 84b7ec1a8ef743a8f33bf38a235c3c026f4edac7 /.gitignore | |
| parent | 74aff92204f70a6f113039fe90d332b44f9493c2 (diff) | |
Remove install procedure from build which does not longer exists
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions