This repository has been archived on 2019-12-07. You can view files and clone it, but cannot push or open issues or pull requests.

Felix Ableitner 02f7d87929 Add option fields for ContentHeader to AbstractHeader. ... This will hopefully save some LoC and complexity (and not increase them).		2015-08-25 00:14:57 +02:00
..
src	Add option fields for ContentHeader to AbstractHeader.	2015-08-25 00:14:57 +02:00
.gitignore	Initial commit.	2014-10-03 12:55:35 +03:00
build.gradle	Show message time and date (fixes #32).	2015-08-19 10:36:57 +02:00
lint.xml	Ignore "unused resources" warnings.	2015-07-28 01:45:31 +02:00