aboutsummaryrefslogtreecommitdiff
path: root/FinMerge.agda
diff options
context:
space:
mode:
authorJacques Comeaux <jacquesrcomeaux@protonmail.com>2024-02-21 19:12:02 -0600
committerGitHub <noreply@github.com>2024-02-21 19:12:02 -0600
commit94a6a0f847a2a1c02347bead7901656e4bd33fdb (patch)
treee21dbb7c783673ba4d1d4776d7cc627d2d0f8a41 /FinMerge.agda
parent0e47d5076cd01623efb766ec1dc5f69dab5d89fd (diff)
Create LICENSE
Diffstat (limited to 'FinMerge.agda')
0 files changed, 0 insertions, 0 deletions