Juan Martín Sotuyo Dodero 9b2759e55a [doc] Improve deadlink detection ...

- Do a HEAD request instead of a GET
 - Some minor code simplifications

2019-01-09 20:00:38 -03:00

..

src

[doc] Improve deadlink detection

2019-01-09 20:00:38 -03:00

pom.xml

add a maven property to check certain external links

2019-01-01 19:55:36 +01:00