]> err.no Git - mapper/commit
Add info_banner label for showing position information
authorKaj-Michael Lang <milang@angel.tal.org>
Sat, 21 Jul 2007 17:54:18 +0000 (20:54 +0300)
committerKaj-Michael Lang <milang@angel.tal.org>
Sat, 21 Jul 2007 17:54:18 +0000 (20:54 +0300)
commit050ee429a7cbf0cca631d97a3639189615e18534
treeb3b8049d466d397e5c0281f6f4aa7cf34fa0c314
parent432c961d80380a749c6b23416a77be4e6ca152b4
Add info_banner label for showing position information
src/ui-common.c
src/ui-common.h