Skip to content

Commit

Permalink
removing todo file of scraps of bits of proofs that dont prove
Browse files Browse the repository at this point in the history
  • Loading branch information
@ivoysey
ivoysey committed Oct 15, 2018
1 parent 8597a91 commit 944589d
Showing 1 changed file with 0 additions and 199 deletions.
199 changes: 0 additions & 199 deletions todo.txt
View file

This file was deleted.

0 comments on commit 944589d

Please sign in to comment.