diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-09-05 14:35:25 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-09-05 14:35:25 -0500 |
| commit | d097e97f6d5888e23877ba3f776558a23a73aa89 (patch) | |
| tree | 5fac6be7d3f315d8f9bec5624b1154a303e1cc29 /pcr/ocaml-ppx_tools | |
| parent | 398c4b5a500e85a4b5f1fe4ff66698ff5866dc23 (diff) | |
| download | abslibre-d097e97f6d5888e23877ba3f776558a23a73aa89.tar.gz abslibre-d097e97f6d5888e23877ba3f776558a23a73aa89.tar.bz2 abslibre-d097e97f6d5888e23877ba3f776558a23a73aa89.zip | |
Removing ibus-bogo
Diffstat (limited to 'pcr/ocaml-ppx_tools')
0 files changed, 0 insertions, 0 deletions