chiark / gitweb /
Fix renamed option use
authorSergei Izmailov <sergei.a.izmailov@gmail.com>
Tue, 9 Jun 2020 10:05:31 +0000 (13:05 +0300)
committerSergei Izmailov <sergei.a.izmailov@gmail.com>
Tue, 9 Jun 2020 10:05:31 +0000 (13:05 +0300)
commit3e1051f220c19ca7072c83885641566126ac3be1
tree96c3dda5bd01945c5420e1104e32c10099d264e0
parent0c5ba9a93f27023f76c2766fefdd829a8398d0d9
Fix renamed option use
documentation/doxygen.py