Add check-bnf per #1759

quicklisp · quicklisp · commit c792e31fe9bc · 2020-05-30T14:33:12.000-04:00
diff --git a/projects/check-bnf/source.txt b/projects/check-bnf/source.txt
@@ -0,0 +1 @@
+git https://github.com/hyotang666/check-bnf.git

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+git https://github.com/hyotang666/check-bnf.git`