git.lirion.de

Of git, get, and gud

aboutsummaryrefslogtreecommitdiffstats
path: root/.profile
diff options
context:
space:
mode:
Diffstat (limited to '.profile')
0 files changed, 0 insertions, 0 deletions
1-1/+1 * bugfix: count (plus proper "doc-string")H. P. 2022-03-211-1/+2 * check for DFDISTRIB, less output on rmH. P. 2022-03-211-3/+9 * tags for other tasksH. P. 2022-03-211-0/+6 * +doc for SSHAGHH. P. 2022-03-211-0/+2 * Execute ssh agent only on machines we want to be the sourceH. P. 2022-03-212-1/+7 * distribution mechanism, more targets in makeH. P. 2022-03-213-4/+40 * Makefile and distribute dir for "git-less" servers