Skip to content

Commit

Permalink
idris: remove formula
Browse files Browse the repository at this point in the history
  • Loading branch information
@BrewTestBot
BrewTestBot committed Sep 25, 2024
1 parent a70733e commit 55d069b
Showing 1 changed file with 0 additions and 55 deletions.
55 changes: 0 additions & 55 deletions Formula/i/idris.rb
View file

This file was deleted.

0 comments on commit 55d069b

Please sign in to comment.