diff options
| author | Talia Ringer | 2019-06-03 10:19:14 -0400 |
|---|---|---|
| committer | Talia Ringer | 2019-06-03 10:19:14 -0400 |
| commit | 8cbaef18373cb255a8806d6563a6729276ad564e (patch) | |
| tree | f223c96b468f8c4b7fde5d3625a103266eaaa7fa /plugins/extraction/ExtrHaskellBasic.v | |
| parent | a3fbe76736340e964917e6fcb9899735adb75eaf (diff) | |
Fix affiliation and ordering in CREDITS
Diffstat (limited to 'plugins/extraction/ExtrHaskellBasic.v')
0 files changed, 0 insertions, 0 deletions