Skip to content

Commit

Permalink
Delete lean4-debug
Browse files Browse the repository at this point in the history 
Because it does not work.
  • Loading branch information
@mekeor
mekeor committed Dec 10, 2024
1 parent 2eb387f commit ffe13be
Showing 1 changed file with 0 additions and 77 deletions.
77 changes: 0 additions & 77 deletions lean4-debug.el
View file

This file was deleted.

0 comments on commit ffe13be

Please sign in to comment.