diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-07-04 18:44:52 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-07-04 18:44:52 -0400 |
commit | 39f3738e921d520667aab45047972479c6d0ce15 (patch) | |
tree | de0409be7ea5569de8fdf23f4ca974b973e8bd85 /LICENSE | |
parent | ee6df0a47c7fbb6cef6679fec9e2abb19fa22c2d (diff) |
Stray character in a comment
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions