Skip to content

Commit

Permalink
Remove TLAi linter script (#6284)
Browse files Browse the repository at this point in the history
  • Loading branch information
@eddyashton
eddyashton authored Jun 20, 2024
1 parent dcb1329 commit 33a842a
Showing 1 changed file with 0 additions and 39 deletions.
39 changes: 0 additions & 39 deletions scripts/TLAi-linter.genai.js
View file

This file was deleted.

0 comments on commit 33a842a

Please sign in to comment.