Some minor style and declaration improvements
authorChristian Femers <femers@in.tum.de>
Wed, 22 May 2019 17:29:58 +0000 (19:29 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 22 May 2019 18:29:08 +0000 (20:29 +0200)
commit23822f3ac39fa0ebd7e74b8c5fee2cd40415b05c
tree9ce4616f1e567ee653e1c7170e2e2efae76a607d
parent412920c08f2adf3550b2b5b6bb55241e4e39d918
Some minor style and declaration improvements
era.mi/src/era/mi/logic/timeline/Timeline.java
era.mi/src/era/mi/logic/timeline/TimelineEventHandler.java
era.mi/src/era/mi/logic/types/MutationOperation.java