Commit | Line | Data |
---|---|---|
e5117b78 CE |
1 | Copyright (c) 2005, 2006, 2007, 2008, 2009, 2010 Adam Chlipala <adamc@hcoop.net> |
2 | Copyright (c) 2012, 2013, 2014, 2015 Clinton Ebadi <clinton@hcoop.net> | |
3 | ||
4 | Licensed under the GNU General Public License version 3 or at your | |
5 | option any later version. See GPL-3 in the source tree or | |
6 | http://www.gnu.org/licenses/gpl-3.0.en.html |