| commit | 4323090d95b2bce141dedd2577f37fa06da04cf2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 15 21:59:42 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 15 21:59:42 2003 +0000 |
| tree | 97cc76207b8ce9cfb87714fc3969cd1935277ee0 | |
| parent | a95eab59206b02dcad7b82a933b0bd32926536b6 [diff] |
Adapted GUI for per-user install. Doesn't do anything yet, though