Skip to content

Commit

Permalink
Remove /revdep
Browse files Browse the repository at this point in the history
I don't use it.

[ci skip]
  • Loading branch information
gaborcsardi committed Nov 9, 2024
1 parent 5b7eb08 commit 828ba53
Show file tree
Hide file tree
Showing 4 changed files with 0 additions and 17 deletions.
6 changes: 0 additions & 6 deletions revdep/.gitignore

This file was deleted.

9 changes: 0 additions & 9 deletions revdep/README.md

This file was deleted.

1 change: 0 additions & 1 deletion revdep/failures.md

This file was deleted.

1 change: 0 additions & 1 deletion revdep/problems.md

This file was deleted.

0 comments on commit 828ba53

Please sign in to comment.