diff options
author | Karel Kočí <karel.koci@nic.cz> | 2018-09-12 14:36:42 +0200 |
---|---|---|
committer | Karel Kočí <karel.koci@nic.cz> | 2018-09-12 14:36:42 +0200 |
commit | 48f102adcd89a5cae2ccbf412b8d8b3d4dfa3803 (patch) | |
tree | 40e942824524c4b2d6dc4d64d79c112ac3dd95d0 /profiles/laptop/parent | |
parent | b0e4a49d44af75a8d09168eda594e56f73441cf2 (diff) | |
download | gentoo-personal-overlay-48f102adcd89a5cae2ccbf412b8d8b3d4dfa3803.tar.gz gentoo-personal-overlay-48f102adcd89a5cae2ccbf412b8d8b3d4dfa3803.tar.bz2 gentoo-personal-overlay-48f102adcd89a5cae2ccbf412b8d8b3d4dfa3803.zip |
dev-lua/lua-compat: fix install path
Diffstat (limited to 'profiles/laptop/parent')
0 files changed, 0 insertions, 0 deletions