2 Commits (cfc1dad4b616657fe207eb8cb26f6b3e25c5d06d)

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