Closed clemens-tolboom closed 10 years ago
For performance reasons it would be green to skip unchanged files after ie a git pull on the source tree at hand.
green
git pull
For this to work we could timestamp output file same as input file.
This is trickier for #35 json2dot as #25 + #27.
json2dot
For performance reasons it would be
green
to skip unchanged files after ie agit pull
on the source tree at hand.For this to work we could timestamp output file same as input file.
This is trickier for #35
json2dot
as #25 + #27.