Skip to content

Commit

Permalink
Moving LIE to a working test
Browse files Browse the repository at this point in the history
  • Loading branch information
phochste committed Oct 6, 2024
1 parent 99bda54 commit b7ae952
Showing 1 changed file with 0 additions and 46 deletions.
46 changes: 0 additions & 46 deletions test/pure/police_LIE.n3s

This file was deleted.

0 comments on commit b7ae952

Please sign in to comment.