tree c8e39a0dfca887d7ec2c0d4d348e06983153b770
parent 540aada302af83330d42ee4cf53bbc571de4f3be
author Maksymilian Osowski <maxosowski@google.com> 1284477181 +0100
committer Maksymilian Osowski <maxosowski@google.com> 1284484387 +0100

Changed Summarizer to add header before printing the path in summary.txt and details.html

Change-Id: I6413e1871ede077793d49b7d4732f90d0aea352f