summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorAymeric Fromherz2023-09-22 17:27:54 +0200
committerAymeric Fromherz2023-09-22 17:27:54 +0200
commitf4e2c2bb09d9d7b54afc0692b7f690f5ec2eb029 (patch)
treebc8104aa03e77cc69deb3accf237351b95940a67 /Makefile
parenta5f87ba02342ae0b96fe0d8ba16f1ec78469d760 (diff)
Add Lean extraction of shl/shr
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions