Revision 50c6a3199b331dcb82b10400bc65f3dcf6fd989c

Committed on 25/07/2013 8:13 am by gggeek <gg@ez.no> [GitHub Diff]

fix daily trunk docs script: bug with legacy repo