diff options
author | Zeger-Jan van de Weg <git@zjvandeweg.nl> | 2017-08-21 09:38:09 +0300 |
---|---|---|
committer | Zeger-Jan van de Weg <git@zjvandeweg.nl> | 2017-08-21 10:05:17 +0300 |
commit | f5b733ebdd2c6071968e30ae0b684f82795405df (patch) | |
tree | 89f6ec9021e3769217bd155c677ca7dc534bbd32 /doc/api/repositories.md | |
parent | 1ffd0c8562922de0e70eef2faf71108e0eecbb51 (diff) |
Fix broken links in documentation
Also, move the old linting docs to the new location.
Diffstat (limited to 'doc/api/repositories.md')
0 files changed, 0 insertions, 0 deletions