diff options
| author | Marc-André Lureau <marcandre.lureau@gmail.com> | 2009-01-08 12:29:09 +0200 |
|---|---|---|
| committer | Marc-André Lureau <marcandre.lureau@gmail.com> | 2009-01-08 15:12:25 +0200 |
| commit | db193f17200d63bfe59bc3a9196f15d5d59efaee (patch) | |
| tree | de2d57865dd1a41f0111cc4c4ada231a89912d25 /GPL | |
| parent | a206ac0fb58d757da30897ca9a64ae642d1865d1 (diff) | |
build: introduce $SKIP_GIT for make dist (off-line or behind a proxy).
There might be a better way doing that, but 'alias git=echo' is not a
solution, :(
Diffstat (limited to 'GPL')
0 files changed, 0 insertions, 0 deletions