diff publishconf.py @ 55:3f6c9b512b85

fix the javadoc url
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 03 Jan 2015 04:53:54 +0100
parents 320e1b36eb7e
children e99db3bc53c1
line wrap: on
line diff