diff options
| author |  Jason Gross <jgross@mit.edu> | 2019-02-01 18:50:00 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2019-02-02 18:22:15 -0500 |
| commit | ce583d76bdb8f15148fc4222d8bdec096547682a (patch) | |
| tree | ffb083673e6be283d7f67ad857bc2f30af892767 /CONTRIBUTORS | |
| parent | 069e5cce23669707f11e59d9f68a31ad24990fe0 (diff) | |
Use Preconditions: Postconditions:, rather than /\ and ->
Diffstat (limited to 'CONTRIBUTORS')
0 files changed, 0 insertions, 0 deletions