Copyright (c) 2005, 2006, 2007, 2008, 2009, 2010 Adam Chlipala <adamc@hcoop.net>
Copyright (c) 2012, 2013, 2014, 2015 Clinton Ebadi <clinton@hcoop.net>

Licensed under the GNU General Public License version 3 or at your
option any later version. See GPL-3 in the source tree or
http://www.gnu.org/licenses/gpl-3.0.en.html