X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e34e1f36399dbe91d9bc52ec0313333dede3c7ad..3bf720f753c0a50e6c5f753a9a786d68fa15af93:/src/domain.sml diff --git a/src/domain.sml b/src/domain.sml index 01f7902..b2c0c5c 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -1,5 +1,5 @@ (* HCoop Domtool (http://hcoop.sourceforge.net/) - * Copyright (c) 2006, Adam Chlipala + * Copyright (c) 2006-2007, Adam Chlipala * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License