diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-01-18 07:17:39 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-01-18 07:17:39 -0500 |
| commit | cf044409f698853c208d3a0550ab2464f57e31fa (patch) | |
| tree | 3a00b9cb49480178c009f1e3e343f4611bb8abb7 /pcr/ocaml-ppx_tools | |
| parent | 42863a2100455b02ec0f84402b4dc77ff3a4aa71 (diff) | |
tor-openrc-20160105-1.1: Minor fix
Diffstat (limited to 'pcr/ocaml-ppx_tools')
0 files changed, 0 insertions, 0 deletions