Skip to content

Commit

Permalink
rm ho-fo.elpi
Browse files Browse the repository at this point in the history
  • Loading branch information
@FissoreD
FissoreD committed May 15, 2024
1 parent ac475ea commit 19bc702
Showing 1 changed file with 0 additions and 52 deletions.
52 changes: 0 additions & 52 deletions apps/tc/ho-fo.elpi
View file

This file was deleted.

0 comments on commit 19bc702

Please sign in to comment.