diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2018-11-24 19:32:24 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2018-11-24 19:32:24 +0100 |
| commit | 4770bb3b198b15ea146fe2b306c034e88f3f9cb5 (patch) | |
| tree | 2824ca7ff74c5dc50f0d19f6545d9015a21120b7 /.gitignore | |
| parent | aa50ba75ec6e89d053b8319a88ab32919ae8ad75 (diff) | |
Use linkchecker. Fix phony targets.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions