diff options
| author | Julien "shaddai" Reveret | 2015-10-08 17:47:19 +0200 |
|---|---|---|
| committer | Julien "shaddai" Reveret | 2015-10-08 17:47:19 +0200 |
| commit | 11e20e5d2326a9d5653a3a6b2fff81e10ce94758 (patch) | |
| tree | 1f0619db4790799c4e4090fb0360e3e46cf5daa1 /debian | |
| parent | 66d9d4db0f092a2abcaa3ffb8e09163928c6a57e (diff) | |
Makefile changed : no more git clone, new build dir
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions