dtinfo subdirectory DtMmdb

This commit is contained in:
Ulrich Wilkens
2013-08-28 19:16:37 +02:00
committed by Jon Trulson
parent 0be684281d
commit fbd81ef151
159 changed files with 735 additions and 588 deletions

View File

@@ -154,7 +154,6 @@ istream& operator >>(istream& in, mark_t& m)
{
char c ;
char* ptr = m.get();
int count = m.size();
Boolean read_marks = false;
while ( in && in.get(c) ) {