]> git.rmz.io Git - dotfiles.git/commitdiff
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)
This is mainly as an example for printers for other types.


No differences found