wimexport: Document --wimboot option
[wimlib] / debian / wimtools.docs
2013-05-24 Eric BiggersUpdate Debian package