diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2012-03-04 22:38:07 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2012-03-04 22:38:07 +0100 |
commit | 82dcc19ff9b2da486e1fe45621da3303add921d8 (patch) | |
tree | cc4d47cf878ef5c1f04b2cd833241fa2d4bea178 /Makefile | |
parent | c5893672a639939b63dc338edc31d952035ff8c2 (diff) | |
download | devtools32-82dcc19ff9b2da486e1fe45621da3303add921d8.tar.xz |
commitpkg: Add ability to override the server
This might be useful for unofficial repos
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions