src/graph.[ch]: Rename "graph_inst_search" to "graph_search_inst_string".
[collection4.git] / .gitignore
2010-06-20 Florian Forster.gitignore: Add a couple more automatically generated...
2010-06-15 Florian ForsterAdd .gitignore file.