projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 16b2fd3)
README: add LICENSE note
authorBrian Norris <banorris@uci.edu>
Fri, 31 May 2013 22:37:30 +0000 (15:37 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 31 May 2013 22:37:30 +0000 (15:37 -0700)
README patch | blob | history

diff --git a/README b/README
index 89f9e24ba6976f2fb6ed4b80d94ab286a8e7ddb1..dfcd5202fbc641455badeecd6a05c3d9456e5193 100644 (file)
--- a/README
+++ b/README
@@ -4,7 +4,7 @@
 
 Copyright (c) 2013 Regents of the University of California. All rights reserved.
 
-CDSChecker is distributed under the GPL v2.
+CDSChecker is distributed under the GPL v2. See the LICENSE file for details.
 
 This README is divided into sections as follows:
 
C++11 memory model checker