2 Commits (4a83f07bddf97c178942d3cae1a25f4268e072fa)

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