diff options
author | 2019-03-14 15:04:10 -0400 | |
---|---|---|
committer | 2019-04-03 23:34:53 +0100 | |
commit | a189b8ad9943cec026ea2797789d8dc72a6d3336 (patch) | |
tree | 727a7957ee921526a701a8a50fb91209b9ee2b56 /src/Fancy/Prod.v | |
parent | 9c5a967ababd80425fe3b09f17f502ed5f0d6a11 (diff) |
remove extraneous module identifiers
Diffstat (limited to 'src/Fancy/Prod.v')
0 files changed, 0 insertions, 0 deletions