new function isFolded().
authorkramm <kramm>
Fri, 24 Jan 2003 23:59:53 +0000 (23:59 +0000)
committerkramm <kramm>
Fri, 24 Jan 2003 23:59:53 +0000 (23:59 +0000)

No differences found