Skip to content

Commit

Permalink
Remove obsolete ISSUES.txt
Browse files Browse the repository at this point in the history 
The contents have been posted in #205 for review/posterity.
  • Loading branch information
@nicoddemus
nicoddemus committed Jul 8, 2023
1 parent 17776df commit 773107e
Showing 1 changed file with 0 additions and 132 deletions.
132 changes: 0 additions & 132 deletions ISSUES.txt
View file

This file was deleted.

0 comments on commit 773107e

Please sign in to comment.