Skip to content

Commit c6d0dd6

Browse files
CohenCyrilCohenCyril
committed
missing file
1 parent 744c0a6 commit c6d0dd6

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎HB/common/compat_815.elpi‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
macro @reversible! :- true.

0 commit comments

Comments
 (0)