projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
c1c75c2
)
LICENSE: add newline at end of file
author
Brian Norris
<banorris@uci.edu>
Tue, 13 Aug 2013 22:09:36 +0000
(15:09 -0700)
committer
Brian Norris
<banorris@uci.edu>
Tue, 13 Aug 2013 22:09:36 +0000
(15:09 -0700)
LICENSE
patch
|
blob
|
history
diff --git
a/LICENSE
b/LICENSE
index ecbc0593737be657aef92e3adcf3bcbd6fdb812e..d159169d1050894d3ea3b98e1c965c4058208fe1 100644
(file)
--- a/
LICENSE
+++ b/
LICENSE
@@
-336,4
+336,4
@@
This General Public License does not permit incorporating your program into
proprietary programs. If your program is a subroutine library, you may
consider it more useful to permit linking proprietary applications with the
library. If this is what you want to do, use the GNU Lesser General
proprietary programs. If your program is a subroutine library, you may
consider it more useful to permit linking proprietary applications with the
library. If this is what you want to do, use the GNU Lesser General
-Public License instead of this License.
\ No newline at end of file
+Public License instead of this License.