diff options
| author | fpi | 2020-04-05 19:59:31 +0200 |
|---|---|---|
| committer | fpi | 2020-04-05 20:54:24 +0200 |
| commit | 20402088679d2fd52052dad73b15739f178d5819 (patch) | |
| tree | 6260e3a520a3765a29f127edea4f338198e24afc /.gitignore | |
| parent | Add script to (re-)tangle all files (diff) | |
Add script to create all symlinks
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions