X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/167cffff3b3a976d4bf454808d3054fdb323b1a1..d63aa5e7b08630cc17a606e85e35acc5bd0041ee:/src/msgTypes.sml?ds=sidebyside diff --git a/src/msgTypes.sml b/src/msgTypes.sml index 591ec31..08972bb 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.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