diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-11-28 20:22:43 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-11-28 20:22:43 -0500 |
| commit | d094b54400b2944a8904b706a26d2860700f4144 (patch) | |
| tree | e9111a66a2572274b79a30a093cea53c073bbc13 /libre | |
| parent | 17f6babdf3869bc0e94ea5222f6829e9a0559bf9 (diff) | |
Removing opam: This package is in [community] repo
Diffstat (limited to 'libre')
0 files changed, 0 insertions, 0 deletions