diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-05-13 23:07:38 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-05-13 23:07:38 -0500 |
| commit | 8d845a1f4ab5cad24fbf5f076928b915d55270d8 (patch) | |
| tree | 3105f6f47362f59d1b2991f06f11cde0757415d1 /~lukeshu/xml2rfc | |
| parent | f589951f6abb86631f05cf97ff71492301da191c (diff) | |
Removing minetest-git. Use minetest instead
Diffstat (limited to '~lukeshu/xml2rfc')
0 files changed, 0 insertions, 0 deletions