diff options
| author | Andreas Grapentin <andreas@grapentin.org> | 2019-02-12 01:44:36 +0100 |
|---|---|---|
| committer | Andreas Grapentin <andreas@grapentin.org> | 2019-02-12 01:44:36 +0100 |
| commit | 5269bb82c6b1c9c3f2775fa1e7367f5d036c92f5 (patch) | |
| tree | 838b7dfccc408ba2bb89f76c6ae3b809bf9dba21 /pcr/dratmenu | |
| parent | 455ca862582aaade8a9bec4389e4274a82c64eb1 (diff) | |
| download | abslibre-5269bb82c6b1c9c3f2775fa1e7367f5d036c92f5.tar.gz abslibre-5269bb82c6b1c9c3f2775fa1e7367f5d036c92f5.tar.bz2 abslibre-5269bb82c6b1c9c3f2775fa1e7367f5d036c92f5.zip | |
pcr/ocaml-text: unused. removed
Diffstat (limited to 'pcr/dratmenu')
0 files changed, 0 insertions, 0 deletions