X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/9ae07226d486b0dd6cd41e356235a2b0c85f0ae0..617696c652e7c2d3d651c1476bae97ec97641394:/src/msgTypes.sml 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