X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/9ae07226d486b0dd6cd41e356235a2b0c85f0ae0..617696c652e7c2d3d651c1476bae97ec97641394:/src/main.sml diff --git a/src/main.sml b/src/main.sml index 5783348..be50982 100644 --- a/src/main.sml +++ b/src/main.sml @@ -1,5 +1,6 @@ (* HCoop Domtool (http://hcoop.sourceforge.net/) * Copyright (c) 2006-2009, Adam Chlipala + * Copyright (c) 2012,2013,2014 Clinton Ebadi * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License