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 /pcr/ocaml-text | |
| parent | 17f6babdf3869bc0e94ea5222f6829e9a0559bf9 (diff) | |
| download | abslibre-d094b54400b2944a8904b706a26d2860700f4144.tar.gz abslibre-d094b54400b2944a8904b706a26d2860700f4144.tar.bz2 abslibre-d094b54400b2944a8904b706a26d2860700f4144.zip | |
Removing opam: This package is in [community] repo
Diffstat (limited to 'pcr/ocaml-text')
0 files changed, 0 insertions, 0 deletions