diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-06-03 10:09:07 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-06-03 10:09:07 -0500 |
| commit | c16f1a0e190aa382ae15aada9a8cfe4b3f104300 (patch) | |
| tree | a61cab166e3fafe60be058da65e0abe627b619be /pcr/theide | |
| parent | 4393383a13fd2c6a46f084056ac737e13d4703df (diff) | |
Removing gengetopt: This package is in community repo
Diffstat (limited to 'pcr/theide')
0 files changed, 0 insertions, 0 deletions