]> git.rmz.io Git - dotfiles.git/commit
gdb: add eigen pretty printers
authorSamir Benmendil <me@rmz.io>
Thu, 9 Jun 2022 13:03:02 +0000 (14:03 +0100)
committerSamir Benmendil <me@rmz.io>
Thu, 9 Jun 2022 13:03:02 +0000 (14:03 +0100)
commit30a94bb45f78e3236236a7000a106d2cea6ab99e
tree6561cb9a3622bc0878a9720efc5464f765c48503
parent5c5df3fecb6ba36dce5ed4f9f45e8bfca084b377
gdb: add eigen pretty printers
gdb/eigen.py [new file with mode: 0644]
gdbinit