Remove old DTD for ptop files - deprecated by the new rnc version, and
having this around is confusing.
Showing
assign/ptop.dtd
deleted
100644 → 0
Please register or sign in to comment
having this around is confusing.