diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-01-04 21:38:52 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-01-04 21:44:27 +0100 |
| commit | 165223b0c8742aa8595075456580c65079a62182 (patch) | |
| tree | e25aa51d550e6dcc2b284a444efd1d82c6d5d99b /.github | |
| parent | 4f8001c741882501003be78e32d0c95666278a0b (diff) | |
main/lua-file-magic: rename from lua5.2-*, add lua5.[23]-* subpkgs
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions