X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/9ae07226d486b0dd6cd41e356235a2b0c85f0ae0..617696c652e7c2d3d651c1476bae97ec97641394:/src/msg.sml diff --git a/src/msg.sml b/src/msg.sml index f6b0051..a1a52de 100644 --- a/src/msg.sml +++ b/src/msg.sml @@ -1,5 +1,6 @@ (* HCoop Domtool (http://hcoop.sourceforge.net/) * Copyright (c) 2006, Adam Chlipala + * Copyright (c) 2011,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