summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/bussproofs-extra/bpextra.sty
blob: e83935d50d63791c0c33df5218bb1ab6bcead552 (plain)
1
2
3
4
5
% Wrapper for backwards compatibility

\RequirePackage{bussproofs-extra}
\PackageWarning{bussproofs-extra}{You've loaded bussproofs with
  bpextra, but you should use bussproofs-extra instead}