summaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorHelmut Grohne <helmut@subdivi.de>2018-01-02 05:01:56 +0100
committerHelmut Grohne <helmut@subdivi.de>2018-01-02 05:01:56 +0100
commit3ab245029ac43720a71dfd9c9a15e91f2312f069 (patch)
treea42db2817ef56f0d5afea769dc4de8425eff2f15 /LICENSE
parentab79a2e7b7c10306493cb6e61eb10f3b4e114cf3 (diff)
downloadbidiragda-3ab245029ac43720a71dfd9c9a15e91f2312f069.tar.gz
remove lemma-lookupM-insert in favour of lookup∘update
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions