Maxime Coste a00e40e151 Fix gdb pretty printers after rename of the coordinate types		2016-10-04 19:37:21 +01:00
..
kakoune.py	Fix gdb pretty printers after rename of the coordinate types	2016-10-04 19:37:21 +01:00