Frank Denis e06c260d0e Lucet removed the "fast" optimization level ... We may drop Lucet support entirely until the interface gets more stable		2019-10-11 16:36:27 +02:00
..
default	Lucet removed the "fast" optimization level	2019-10-11 16:36:27 +02:00
quirks	1.0.18	2019-05-30 21:57:51 +02:00
constcheck.sh	constcheck: ignore deprecated declarations	2019-04-22 19:53:26 +02:00
Makefile.am
Makefile.in	Add -pthread to pkgconfig's Libs.private if enabled	2019-01-15 00:29:20 +01:00