diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-07-18 16:16:23 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-07-18 16:16:23 -0500 |
| commit | 682806a537854d88b6fd913ec72e7298f7e9f3e3 (patch) | |
| tree | b765c8d4f23e0bb54815065e7460eb57e7af1b84 /pcr/ocaml-text/PKGBUILD | |
| parent | de3a13e56caa21635bd004cb2ace7746fcc40c08 (diff) | |
consolekit-1.1.0-8: rebuild
Diffstat (limited to 'pcr/ocaml-text/PKGBUILD')
0 files changed, 0 insertions, 0 deletions