Hi,
On Monday 05 July 2004 20:30, Christian Biere wrote:
> Martin Preuss wrote:
> > just a question: Is it possible that current versions of GTKG use
> > considerable more memory than previous versions (about 1/4 or 1/2 year
> > ago) did ?
>
> This is difficult to answer or to investigate because
Martin Preuss wrote:
> just a question: Is it possible that current versions of GTKG use
> considerable more memory than previous versions (about 1/4 or 1/2 year ago)
> did ?
This is difficult to answer or to investigate because you don't tell
which frontend or mode you use and how long it takes u
Hi,
just a question: Is it possible that current versions of GTKG use considerable
more memory than previous versions (about 1/4 or 1/2 year ago) did ?
I noticed that the machine which is running GTKG starts to become unresponsive
due to massive swapping since I updated from CVS ...
What is G
