Kenzie Togami 3ad80665d8 Fix gravity brush itself, not EditSession		2019-07-06 00:12:17 -07:00
..
doctools	[Docs] Add a more visible tip about //help on the commands page.	2019-06-29 10:35:22 -04:00
src	Fix gravity brush itself, not EditSession	2019-07-06 00:12:17 -07:00
build.gradle	Drop translatable names for now	2019-04-25 22:54:23 -07:00