| commit | 113af98c892e0fb2840a37b491db62df6e5d24ea | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 12 12:47:56 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 12 12:47:56 2003 +0000 |
| tree | 8e34d5b561796eec3284e0c20e176883b3ab3749 | |
| parent | 9c679f812870ed470ef3de316ab2fde3789f6a89 [diff] |
Renamed InstallManager to PackageManager, finished a first stab at the implementation and integrated it into the IDE.