Comparison

tools/migration/Makefile @ 4405:e7c501d203b0

Makefile: Merge identical rules and some other improvements.
author Kim Alvefur <zash@zash.se>
date Tue, 18 Oct 2011 01:22:44 +0200
parent 4229:f15b4e9ba688
child 5402:cb6f0afd8468
comparison
equal deleted inserted replaced
4399:1b4161970842 4405:e7c501d203b0