diff options
author | gregory guy <gregory-tde@laposte.net> | 2020-06-11 13:47:08 +0200 |
---|---|---|
committer | Slávek Banko <slavek.banko@axis.cz> | 2020-06-11 14:59:40 +0200 |
commit | 595a2303822394984287ff86b1099915826ef70c (patch) | |
tree | 2878d489a014b4142f120ae1bda12e4856540bfb /kiten | |
parent | 7f58059a31ed250825ece7b14a110726dfbeb89b (diff) | |
download | tdeedu-595a2303822394984287ff86b1099915826ef70c.tar.gz tdeedu-595a2303822394984287ff86b1099915826ef70c.zip |
Fix detection for the Facile library.
Signed-off-by: gregory guy <gregory-tde@laposte.net>
(cherry picked from commit 769ab67533bffd637f80bec1f0edc180d93ff8ea)
Diffstat (limited to 'kiten')
0 files changed, 0 insertions, 0 deletions