Revert last change regarding display_term. There still exists systems
authorAdam Dickmeiss <adam@indexdata.dk>
Wed, 22 Aug 2007 08:11:28 +0000 (08:11 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Wed, 22 Aug 2007 08:11:28 +0000 (08:11 +0000)
commitdeb4950cd76f5ff06cbb5246a2c2303fea6c9dba
treed646a8ca3fa63d06d24bfdd8d4f9ef830c3c03bc
parentc0858501c14e5b74a62656042dc6c8ad6a2a242c
Revert last change regarding display_term. There still exists systems
with old behavior.
src/seshigh.c