]> err.no Git - mapper/commit
Remove some unneeded headers
authorKaj-Michael Lang <milang@onion.tal.org>
Fri, 25 Jan 2008 11:07:51 +0000 (13:07 +0200)
committerKaj-Michael Lang <milang@onion.tal.org>
Fri, 25 Jan 2008 11:07:51 +0000 (13:07 +0200)
commit6a6b7aa6bc801e1a1e52ac376d344313f4765ab0
tree54ec6c976b20ec126a0fe64b55795b4bc6b3b36d
parent37ceeda0c43dd03531940af8d3ed16a6921ce4ee
Remove some unneeded headers
src/map-repo.c
src/settings-gui.c