X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/167cffff3b3a976d4bf454808d3054fdb323b1a1..979844d5602d36ae08617c2c228dc23dcc531046:/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