diff options
| author |  Jesse Hallett <jesse@galois.com> | 2013-12-18 15:44:35 -0800 |
|---|---|---|
| committer | Jesse Hallett <jesse@galois.com> | 2013-12-18 16:07:48 -0800 |
| commit | ff0f961df50651dfa7ee95e2374d20003bb56272 (patch) | |
| tree | 4362f1bb804c6f78587433763e8da51393a422b9 /Makefile | |
| parent | 29869e418f1322966b78bf546e6bdd13f2f28712 (diff) | |
Wikipedia guideline: there should only be one blank line between paragraphs
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions