wizjany 2f734d4570 Check radius instead of diameter for clipboard brush. ...

This brings it more in line with other brushes in terms of allowable size.

2019-02-25 18:41:19 -05:00

..

jnbt

Clean up other compiler warnings

2018-12-26 16:50:24 -08:00

minecraft/util/commands

Little bit of formatting

2018-08-27 17:24:18 +10:00

util

Fixed serialisation of vectors.

2018-11-05 23:27:03 +10:00

worldedit

Check radius instead of diameter for clipboard brush.

2019-02-25 18:41:19 -05:00