diff options
| author | Daniel Brahneborg <basic@chello.se> | 2002-03-12 10:31:02 +0000 |
|---|---|---|
| committer | Daniel Brahneborg <basic@chello.se> | 2002-03-12 10:31:02 +0000 |
| commit | 0dd84267e740fd10f46103a5affee01611fcd224 (patch) | |
| tree | 2afabc69a76b42691a3f98ec87dc5c4f7f736ae7 /lib/wprt.cc | |
| parent | b105b61017274eec171269b0d0f9cc617f01d423 (diff) | |
| download | plptools-0dd84267e740fd10f46103a5affee01611fcd224.tar.gz plptools-0dd84267e740fd10f46103a5affee01611fcd224.tar.bz2 plptools-0dd84267e740fd10f46103a5affee01611fcd224.zip | |
Load all residual sis files before installing, to make sure we don't
have another version installed already.
Diffstat (limited to 'lib/wprt.cc')
0 files changed, 0 insertions, 0 deletions