diff options
Diffstat (limited to 'tool/strip-rdoc.rb')
-rwxr-xr-x[-rw-r--r--] | tool/strip-rdoc.rb | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tool/strip-rdoc.rb b/tool/strip-rdoc.rb index dc4c3dc5dc..dc4c3dc5dc 100644..100755 --- a/tool/strip-rdoc.rb +++ b/tool/strip-rdoc.rb |