diff options
| author |  Mike Burns <mike@mike-burns.com> | 2014-03-07 16:33:30 +0100 |
|---|---|---|
| committer | Mike Burns <mike@mike-burns.com> | 2014-03-07 16:33:30 +0100 |
| commit | 1914b1d9088b25d11623632161f3a6a05c058523 (patch) | |
| tree | 9731dd5daf42547d5fd0753be38b8d2d0f9409c6 /debian | |
| parent | 28f1a140d877078dbcd0359834c17973a3b448d6 (diff) | |
Grab the ORIGIN_URL in man Makefile
This caused the push to fail because it couldn't find the repo URL.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions