2 Commits (f6ae41fe49266ed0de42002a01c593e2360b87e1)

Author	SHA1	Message	Date
Petr Mrázek	de9400d5e8	Make deramp tool fix bad ramps resulting from caveins.	2011-04-04 15:46:39 +02:00
Petr Mrázek	7072c43e96	Move dfderamp tool to supported, there's no reason for it to languish in playground.	2011-03-21 11:09:34 +01:00