diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-05-02 14:38:51 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-05-02 14:38:51 -0500 |
commit | 005e5da02f6b83d364bf8faca9484fc60f260883 (patch) | |
tree | 21b38413a50e8708158d618219115d3a6311e21a /java | |
parent | 8439aea46038076264f149a78959dedcf11057d9 (diff) |
Removing ruby-headers. This version is obsolete
Diffstat (limited to 'java')
0 files changed, 0 insertions, 0 deletions