diff options
| author | Gustav Eek <gustav.eek@fripost.org> | 2018-05-20 21:51:49 +0200 |
|---|---|---|
| committer | Gustav Eek <gustav.eek@fripost.org> | 2018-05-20 22:16:00 +0200 |
| commit | 7269834cfcdc21846f0e133211ff5eefaa9a6afb (patch) | |
| tree | a761e304aaa914d613c0a43b18ee0f555e10d3db /propositions/Makefile | |
| parent | 4a6fadd67d361718cfacc8191b2a24f88b4af7b9 (diff) | |
Dummy provided
Diffstat (limited to 'propositions/Makefile')
0 files changed, 0 insertions, 0 deletions