]> git.rmz.io Git - dotfiles.git/commit
repos / dotfiles.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea63c14) | patch
gdb: add printer for geo_point type
authorSamir Benmendil <me@rmz.io>
Fri, 11 Mar 2022 08:10:50 +0000 (08:10 +0000)
committerSamir Benmendil <me@rmz.io>
Fri, 11 Mar 2022 08:10:50 +0000 (08:10 +0000)
commit0da9fae3161bb4c463b975906bd9267db2c2ba9c
tree711aeb8f89d4f14df1d81debc1421d6890602f66tree | snapshot
parentea63c143de326ec0b41e3276c50b389c9fd16d1dcommit | diff
gdb: add printer for geo_point type

This is mainly as an example for printers for other types.
gdb/fpp.py [new file with mode: 0644] blob
gdbinit diff | blob | history
My dotfiles