diff options
| author | mail_redacted_for_web | 2022-07-16 11:25:34 +0200 | |||
|---|---|---|---|---|---|
| committer | mail_redacted_for_web | 2022-07-16 11:25:34 +0200 | |||
| commit | 8eadf0c5ed061ceee22e4b1a75eaa55eeb72e02a (patch) | ||||
| tree | d129b5c102f604e27ab8890c095676dc88a9804b /.bashrc | ||||
| parent | 5121f6f61a2944b331a372dea105858147f7ddae (2022-03-21 | 1 | -0/+1 | ||
| * | Makefile and distribute dir for "git-less" servers | H. P. | 2022-03-21 | 1 | -0/+1 |
| * | adding distribute folder for servers which cannot reach git | H. P. | 2022-03-21 | 1 | -0/+3 |
| * | Initial commit | H. P. | 2022-03-19 | 1 | -0/+20 |