From 1c3d73f615926ccf2f60d7b171f2fc82119a14ce Mon Sep 17 00:00:00 2001 From: Lars Melchior Date: Thu, 16 Apr 2020 11:12:44 +0200 Subject: [PATCH] cleanup --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index d48bfbf..52b8dc8 100644 --- a/README.md +++ b/README.md @@ -84,7 +84,6 @@ The following are currently supported. - `-DUSE_SANITIZER=
` - `-DUSE_CCACHE=` - ## FAQ > Can I use this for header-only libraries?