1308869f31d960d8a93ec63123bf2b52 *DESCRIPTION
8523cb3a140e8fee72d4db7d81832edb *NAMESPACE
968f88f8aabc6a3b080b7c35a561e36a *R/OPTS.R
668c0f4a41ce7af611d0dbbab2a43635 *man/opts.Rd
c64d4bdd91a86f53568677d6cb670770 *man/opts_th.Rd
