diff options
| author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2018-07-18 10:42:52 +0300 |
|---|---|---|
| committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-06-10 19:40:23 +0300 |
| commit | ab099b524a504ff3b5e0a3d3dbac347f9e2551b6 (patch) | |
| tree | d27b3f0abc557b6356b99879d056788ae285ddfd /.gdbinit | |
| parent | e95cc4c1e90d330423d6bf948a29160a8e506db6 (diff) | |
Add more documentation.
Diffstat (limited to '.gdbinit')
| -rw-r--r-- | .gdbinit | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gdbinit b/.gdbinit new file mode 100644 index 00000000..dbc6aca4 --- /dev/null +++ b/.gdbinit @@ -0,0 +1,2 @@ +break rust_panic +break core::option::expect_failed::h4927e1fef06c4878 |