tool/strip-rdoc.rb · v3_4_0 · ruby / ruby-deleted-200

Dec 26, 2020
ef744835
tool/strip-rdoc.rb: optimize · ef744835
卜部昌平 authored Dec 26, 2020
```
This script is called from Doxygen many times.  Worth optimising.
[ci skip]
```
ef744835
tool/strip-rdoc.rb: optimize
卜部昌平 authored Dec 26, 2020
```
This script is called from Doxygen many times.  Worth optimising.
[ci skip]
```