Skip to content

Commit

Permalink
Bumped up year in license.
Browse files Browse the repository at this point in the history
  • Loading branch information
@psuter
psuter committed Dec 2, 2012
1 parent cc55be5 commit a369b9c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion LICENSE
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Copyright (c) 2008-2011 EPFL, Lausanne, unless otherwise specified. All rights
Copyright (c) 2008-2012 EPFL, Lausanne, unless otherwise specified. All rights
reserved.

This software was developed by the Laboratory for Automated Reasoning and
Expand Down

0 comments on commit a369b9c

Please sign in to comment.