diff options
Diffstat (limited to 'tool/getrev.rb')
| -rw-r--r-- | tool/getrev.rb | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/tool/getrev.rb b/tool/getrev.rb deleted file mode 100644 index 1d24a17829..0000000000 --- a/tool/getrev.rb +++ /dev/null @@ -1,13 +0,0 @@ -str = ARGF.gets -if /ChangeLog (\d+)/ =~ str - puts %Q{char *rev = "#{$1}";} -else - raise -end - -if /ChangeLog \d+ ([\d-]+)/ =~ str - puts %Q{char *date = "#{$1}";} -else - raise -end - |