diff options
| author | Siri Reiter <siri@pjones.dk> | 2023-03-30 08:35:12 +0200 |
|---|---|---|
| committer | Siri Reiter <siri@pjones.dk> | 2023-03-30 08:35:12 +0200 |
| commit | 35dc09ee7fdb885a177b2282a5bea813c317b108 (patch) | |
| tree | 3299e2286f9926784d03f7f9603ccec7ff8f6219 /.gitignore | |
| parent | 9a5ed109015f88512dd83179c2336744ded48e87 (diff) | |
increase notebox margin
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions