2 Commits (2e0ec2db7251666fce7093f33098ce6ca89f2dd7)

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