diff options
| author | fpi | 2020-04-05 20:01:12 +0200 |
|---|---|---|
| committer | fpi | 2020-04-05 20:05:16 +0200 |
| commit | 4882047499b0e3350da8c2791ea37b98ab6cf492 (patch) | |
| tree | 3ff1a421e245713d7251e1d990bd00f2b11c6db8 /.gitignore | |
| parent | Fix permission of tangled file (diff) | |
Update symlinks
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions