Changes

#86 (Jan 2, 2020, 9:06:27 PM)

1. Updating ignore settings — Philipp Haussleiter / githubweb
2. fixing bug for null values in RRs — Philipp Haussleiter / githubweb

#84 (Nov 25, 2017, 12:48:04 AM)

1. adding hidden id for RR — Philipp Haussleiter / githubweb

#83 (Nov 25, 2017, 12:45:15 AM)

1. impl. RR update and Controller cleanup — Philipp Haussleiter / githubweb

#82 (Nov 25, 2017, 12:37:52 AM)

1. form update — Philipp Haussleiter / githubweb