Released on April 12, 2002 - The rvminis are a collection of small single-purpose tools. All of this tools can deal with the new "intermediate file format". Hopefully this package will contain more minis in the future. None of the tools are well tested, prepare to encounter bugs. To get any of them working, you need the library...