summaryrefslogtreecommitdiff
path: root/src/local/server-tools
AgeCommit message (Expand)Author
2015-04-13rz-doc: merge names ignore caseAlon Levy
2015-04-13rz-doc: more verbose mergeAlon Levy
2015-04-10rz-doc: add --rename-from --rename-toAlon Levy
2015-04-10server-tools: change destination to separate tools directoryAlon Levy
2015-04-10server-tools/rz: fix candidate test and pathsAlon Levy
2015-04-10server-tools/rz-user: don't rely on bin/env being there, assume python in /us...Alon Levy
2015-04-10server-tools/rz.py: even uglierAlon Levy
2015-04-10server tools: move to separate dir, rename, add helper rz.py to hide ugly imp...Alon Levy