commit | d6fccdffdca95e3a3471ec631030c7ccf019f215 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Wed Oct 23 15:45:36 1996 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Oct 23 15:45:36 1996 +0000 |
tree | 7d56ae975b92575ca8b5202ca034a289691fb6b0 | |
parent | a1255e0c4e87b17a5066d35835fc3900ca217bbb [diff] |
Fixed gusi preferences