tool/strip-rdoc.rb · master · ruby / ruby-deleted-200 · GitLab

This project is pending deletion, and will be deleted on 2025-08-03. Repository and other project resources are read-only.

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]
```