chiark / gitweb /
documentation/doxygen: ignore branch that we have no chance of reaching.
authorVladimír Vondruš <mosra@centrum.cz>
Mon, 16 Sep 2024 17:52:08 +0000 (19:52 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Mon, 16 Sep 2024 17:52:08 +0000 (19:52 +0200)
commit56c1d16be2a7c0ee15e6e7a0ab24642c543c7f7e
tree6564b92a2520f6bf22b596a4bda9b2c0e8fd1150
parent57dc7baff0e3e661f196fbdfd4dbf9044de45835
documentation/doxygen: ignore branch that we have no chance of reaching.
documentation/doxygen.py