diff options
| author | Siri Reiter <siri@jones.dk> | 2018-06-14 23:40:34 +0200 |
|---|---|---|
| committer | Siri Reiter <siri@jones.dk> | 2018-06-14 23:40:34 +0200 |
| commit | 5b887c223bac856f506957d26debfd06b89fb898 (patch) | |
| tree | 3e97f9ab494c19a09d63fa653b6401cd66c73721 /.gitignore | |
| parent | 94281935eee0c7fd2d81af042c5f2efa4f170d24 (diff) | |
Add tags, and repeat intro in main text.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions