diff options
| author | Peter Eisentraut | 2012-04-24 18:20:55 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2012-04-24 18:20:55 +0000 |
| commit | 8bd44677df7f5139afa6d6a2d8f5a92e2db54cba (patch) | |
| tree | 75fde9a96b75a503f06c376143a176b4a02917d1 /src/tools/git-external-diff | |
| parent | 225d9c063820237c979c918cf735bf98cbd566c0 (diff) | |
entab: Improve makefile
A few simplifications and stylistic improvements, found while grepping
around for makefile problems elsewhere.
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions