Merged revisions 14185 via svnmerge from
svn+ssh://bugman@.../svn/relax/1.3
........ r14185 | bugman | 2011-08-05 15:50:37 +0200 (Fri, 05 Aug 2011) | 5 lines Fix for the round determination in the dauvergne_protocol auto-analysis. The 'opt' directory was missing in the path. ........
Authored by: bugman 2011-08-05
Parent: [r14185]
Child: [r14187]