diff options
| author | David Kalnischkies <kalnischkies@gmail.com> | 2009-10-01 18:48:18 +0200 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2009-10-01 18:48:18 +0200 |
| commit | 6ac77d50d43647dd8df8bd3b3d89f64c48db61f3 (patch) | |
| tree | 03299ffc393e90315966c947d704c3e2cea37bc7 /doc/makefile | |
| parent | 7652e03e9909ac65dab11a8cabb9ea5b77ef95ca (diff) | |
backout revno 1875 - as this aggressive immediate propergation is something we want sometimes
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions