sequence: Remove deprecated options which are no longer used#1335

danpovey merged 1 commit intokaldi-asr:masterkaldi-asr/kaldi:masterfrom

vimalmanohar:mastervimalmanohar/kaldi:masterCopy head branch name to clipboard