]> WPIA git - gigi.git/history - src/club/wpia/gigi/util/Notary.java
fix: Close resources we no longer need
[gigi.git] / src / club / wpia / gigi / util / Notary.java
2017-02-27 Benny BaumannMerge "upd: terminology in API"
2017-02-27 Lucas Werkmeisterupd: terminology in database
2017-02-22 Lucas Werkmeisterupd: terminology in code
2017-02-16 Felix Dörreupd: rename package name and all references to it