tree 7ddda5321629ddee61fc5be92142fef91a2dc46a
parent 290d2313cbf963b6a315bbbb1b93912f4946ed79
author Juan Pablo Santos Rodríguez <juanpablo.santos@gmail.com> 1619283333 +0200
committer Juan Pablo Santos Rodríguez <juanpablo.santos@gmail.com> 1619283333 +0200

No need to build javadocs if branch built != master, as they are generated so they can be published at jspwiki.a.o - should speed up feedback on PRs