diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-03-19 17:19:03 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-03-19 17:19:03 -0500 |
| commit | 956a4f87beef8949f9537429359b374759f73014 (patch) | |
| tree | 27cf2c4a6f0887e16c016d0f8f32637c5fdbc303 /pcr/gringo | |
| parent | 173039dced004bb81846a2b6a3eaf90984633647 (diff) | |
Removing utox-git. Use utox instead
Diffstat (limited to 'pcr/gringo')
0 files changed, 0 insertions, 0 deletions