|
blood
|
- got rid of int_clipdist.
|
2022-10-30 16:51:09 +01:00 |
|
duke
|
- Fix multiple bad calls to pushmove().
|
2022-10-30 16:51:09 +01:00 |
|
exhumed
|
- Fix multiple bad calls to pushmove().
|
2022-10-30 16:51:09 +01:00 |
|
sw
|
- do not save randomseed twice.
|
2022-10-30 16:51:09 +01:00 |
