Skip to content

Commit a094959

Browse files
andreasabelMatthewDaggitt
andreasabel
authored and
MatthewDaggitt
committed
Rename Flip.Agda to Flip.agda (re #1979)
1 parent 3441bdb commit a094959

File tree

1 file changed

+0
-0
lines changed

1 file changed

+0
-0
lines changed

‎src/Relation/Binary/Construct/Flip.Agda renamed to ‎src/Relation/Binary/Construct/Flip.agda

File renamed without changes.

0 commit comments

Comments
 (0)