X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=contrib%2Ffsm_checker%2FREADME;fp=contrib%2Ffsm_checker%2FREADME;h=765e29f588766681ca2960beca0bb8abd2144af0;hb=e09e518ebf18d490dbeb72c6358968af7d05d675;hp=0000000000000000000000000000000000000000;hpb=58f53b56557577b64911d0e7a2bba3fbb521d71d;p=lttv.git

diff --git a/contrib/fsm_checker/README b/contrib/fsm_checker/README
new file mode 100644
index 00000000..765e29f5
--- /dev/null
+++ b/contrib/fsm_checker/README
@@ -0,0 +1,5 @@
+This code is Copyright 2009 Gabriel Matni
+
+Released under the GPL.
+
+Tested with smc 5.1.0