diff options
| author | Jakob Unterwurzacher | 2018-01-31 09:36:06 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2018-01-31 09:36:06 +0100 |
| commit | 399132f1012ee1736dada2efb9658f7dc7c05a1d (patch) | |
| tree | d95d6089caa759fcfe37b7508d9230cd49a8c3a5 /docs/img | |
| parent | cfc75466cd490c0a641aa72c5bc890d939fbcc88 (diff) | |
Drop "git pull" from the Makefile
Technically has nothing to do with building, and
fails and aborts the build if you don't have a
tracking branch.
Diffstat (limited to 'docs/img')
0 files changed, 0 insertions, 0 deletions