diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-05 18:54:21 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-05 18:54:21 -0500 |
| commit | 8ae645497effbba6c0ef13f857e0b9de49f07430 (patch) | |
| tree | 4d68b2a6e2fc04bca87eac63ebfaea2b76e12d7a /cross | |
| parent | 66cc13c683ecd21c8161a9f77b7ea572847c29e8 (diff) | |
| download | abslibre-8ae645497effbba6c0ef13f857e0b9de49f07430.tar.gz abslibre-8ae645497effbba6c0ef13f857e0b9de49f07430.tar.bz2 abslibre-8ae645497effbba6c0ef13f857e0b9de49f07430.zip | |
opam-1.2.2-1: updating version
Diffstat (limited to 'cross')
0 files changed, 0 insertions, 0 deletions