diff options
author | Gustav Eek <gustav.eek@fripost.org> | 2019-05-04 10:17:59 +0200 |
---|---|---|
committer | Gustav Eek <gustav.eek@fripost.org> | 2019-05-04 10:17:59 +0200 |
commit | 71071120a4b90aaaf8e44596121cd298f7ecae4c (patch) | |
tree | 79bb283c837d04df02677ed004d1cc3d66edc455 /propositions/master.tex | |
parent | ae2e2bdb68d8d3a5b1a0acf1b3f547600c6c699f (diff) | |
parent | 0e578f49ab5c47b5b2722bfa491aa3c8099978fb (diff) |
Merge branch 'master' into 2018-05-28-board
Diffstat (limited to 'propositions/master.tex')
0 files changed, 0 insertions, 0 deletions