-
Damien George authored
The line in docs/conf.py with the release/version number was recently changed and this patch makes the makeversionhdr.py script work again.
b51919f5
The line in docs/conf.py with the release/version number was recently changed and this patch makes the makeversionhdr.py script work again.