Commit 07d61f9
Marvin Zhang
refactor: remove LeanSpec configuration and related files
1 parent 7646cf3 commit 07d61f9
3 files changed
+0
-65
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
62 | 62 | | |
63 | 63 | | |
64 | 64 | | |
65 | | - | |
66 | | - | |
67 | | - | |
68 | | - | |
69 | | - | |
70 | | - | |
This file was deleted.
This file was deleted.
0 commit comments