From: Samir Benmendil <me@rmz.io>
Date: Fri, 11 Mar 2022 08:10:50 +0000 (+0000)
Subject: gdb: add printer for geo_point type
X-Git-Url: https://git.rmz.io/dotfiles.git/commitdiff_plain/0da9fae3161bb4c463b975906bd9267db2c2ba9c?hp=0da9fae3161bb4c463b975906bd9267db2c2ba9c

gdb: add printer for geo_point type

This is mainly as an example for printers for other types.
---