| commit | c3f593e6abe2988918093b9e832a597154f7e524 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 14 22:14:46 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 14 22:14:46 2000 +0000 |
| tree | f1333e6ebdf4fa1c41f9d517d42f112229468085 | |
| parent | f868de64915a7eaaeea641c57cb88a3910e49d4a [diff] |
Don't declare sync if we use gusi.