Manfred Karrer 8b3c06fb81 Rename BondedRole to Role ... This is the first of a series of renaming commits. We want to use role for the immutable class and BondedRole for the wrapper which contains role and the mutable state.		2018-11-01 15:22:50 -05:00
..
.tx	Merge core repository at 4597613	2018-09-05 10:48:22 +02:00
src	Rename BondedRole to Role	2018-11-01 15:22:50 -05:00
build.gradle	Move javafx dependencies to common	2018-10-22 16:01:02 -05:00
update_translations.sh	Merge core repository at 4597613	2018-09-05 10:48:22 +02:00