diff options
| author | Gustav Eek <gustav.eek@fripost.org> | 2019-05-07 21:27:52 +0200 |
|---|---|---|
| committer | Gustav Eek <gustav.eek@fripost.org> | 2019-05-07 21:27:52 +0200 |
| commit | 608a59abb8a6beda80c0509fb8fdd20a7e628b08 (patch) | |
| tree | 914d0c00710cbc8f38b228231947377f88f914b9 /propositions/Makefile | |
| parent | ee76b2acb2d868738758d7ccf827166afeedcd77 (diff) | |
| parent | d0b138ca62b5384693710dd2293301a3e3f40930 (diff) | |
Merge branch 'intgr/2018-board' into 2018-04-23-board
Conflicts:
2018/Makefile
Diffstat (limited to 'propositions/Makefile')
0 files changed, 0 insertions, 0 deletions