4afda8dcea2922cca706e29dc169065d *DESCRIPTION
de818ee1c0f57c9c808e9ea7674c0404 *NAMESPACE
b08ae8d0e7621bd90be90cbb949ed7f1 *R/RcmdrPlugin.coin.R
eef03325bad995c21314afdb37fc4ea7 *inst/etc/menus.txt
7880623ebe522b02de5cbd3aad3411ed *man/RcmdrPlugin.coin-internal.Rd
61131650cdf3facb0a29ed807ce6a918 *man/RcmdrPlugin.coin-package.Rd
