From 568bba412d7a1004a4e9608cfa98022842c55ecc Mon Sep 17 00:00:00 2001 From: Robert Ricci Date: Fri, 9 May 2008 16:34:28 +0000 Subject: [PATCH] Remove old DTD for ptop files - deprecated by the new rnc version, and having this around is confusing. --- assign/ptop.dtd | 57 ------------------------------------------------- 1 file changed, 57 deletions(-) delete mode 100644 assign/ptop.dtd diff --git a/assign/ptop.dtd b/assign/ptop.dtd deleted file mode 100644 index 20ac1707d..000000000 --- a/assign/ptop.dtd +++ /dev/null @@ -1,57 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -- GitLab