]> andersk Git - splint.git/commitdiff
Add one last file?
authordrl7x <drl7x>
Fri, 2 Mar 2001 04:47:17 +0000 (04:47 +0000)
committerdrl7x <drl7x>
Fri, 2 Mar 2001 04:47:17 +0000 (04:47 +0000)
test/globalbufferannotation/.lclintrc [new file with mode: 0644]

diff --git a/test/globalbufferannotation/.lclintrc b/test/globalbufferannotation/.lclintrc
new file mode 100644 (file)
index 0000000..dd00d2e
--- /dev/null
@@ -0,0 +1 @@
++fcnconstraint
This page took 0.060889 seconds and 5 git commands to generate.