Rename & move read_properties and git_properties
authorJonas Fonseca <fonseca@diku.dk>
Tue, 3 Feb 2009 14:01:47 +0000 (15:01 +0100)
committerJonas Fonseca <fonseca@diku.dk>
Tue, 3 Feb 2009 14:27:24 +0000 (15:27 +0100)
commit37b8cf4848889adb48c16a0f1c90ea068cbe211a
treeda0a43ebd7b14faaa3369cb7fb552536cbeb327d
parent40ebe02ada92c981f9cbd43bd2fad41185ca5834
Rename & move read_properties and git_properties

They should be part of the IO API and are now called io_load and
run_io_load.
tig.c