diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2019-07-26 10:09:07 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2019-07-26 10:09:07 -0400 |
| commit | 89526be4ed3328fef9ac9c8668c3611094e45d18 (patch) | |
| tree | d3267456d4607f7cbc7856e1f0637f7860a8e5f4 /src | |
| parent | e16efaf6603c4da33b74b499e0e1214c46ddf72d (diff) | |
Remove a misleading comment (#175)
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions