Julius Volz b3901827ee Fix persistence references in tools subdir. ... These had escaped me because the tools aren't rebuilt if there are changes outside of the respective tool itself. Change-Id: I3e69631babdd95b18e698eb79098dfa59f60f597		2014-04-17 15:28:22 +02:00
..
.gitignore	Expose interfaces for pruner and make pruner tool.	2013-05-10 17:07:03 +02:00
Makefile	Remove gvm and install go by hand.	2013-06-12 18:39:37 +02:00
main.go	Fix persistence references in tools subdir.	2014-04-17 15:28:22 +02:00