Silence flexelint

I need to consider making this a system wide setting

Silence flexelint
I need to consider making this a system wide setting
db58cb65 · Nils Goroll · 6b12b4ca · db58cb65
Unverified Commit db58cb65 authored Sep 09, 2021 by Nils Goroll
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

flint.lnt src/flint.lnt +1 -0

No files found.
--- a/src/flint.lnt
+++ b/src/flint.lnt
@@ -24,3 +24,4 @@
 // TODO
 -e537
 -e451
+-elib(129)