Skip to content

Commit 28cc0c0

Browse files
e-mniange-mniang
committed
cleaning drafts
1 parent 74604c3 commit 28cc0c0

File tree

1 file changed

+0
-97
lines changed

1 file changed

+0
-97
lines changed

‎src/draftPadright.agda

Lines changed: 0 additions & 97 deletions
This file was deleted.

0 commit comments

Comments
 (0)