gebner
/
etc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
548 Commits 1 Branch 0 Tags 661 KiB
Commit Graph

2 Commits

Author SHA1 Message Date
Gabriel Ebner 87c7c8dbc3 use lean4 gdb file 2021-10-31 14:54:20 +01:00
Gabriel Ebner 801e4d63a4 gdbinit 2017-02-23 17:17:23 +01:00