#
# ChangeLog for src/redundant_includes.txt
#
# Generated by Trac 1.2
# Apr 22, 2021, 5:37:30 PM

Wed, 20 Mar 2013 18:21:23 GMT fguidi [2919]
	* src/Makefile (added)
	* src/redundant_includes.txt (added)

	"MATITA_COMPONENTS=/path/to/matita/components/ make deps" outputs ...