Added 'smt export' command, which I could have sworn was already there, but it turns out it wasn't (see ticket:74)
Added 'smt export' command, which I could have sworn was already there, but it turns out it wasn't (see ticket:74)

dpad/sumatra,babsey/sumatra,maxalbert/sumatra,open-research/sumatra,maxalbert/sumatra,dpad/sumatra,babsey/sumatra,maxalbert/sumatra,apdavison/sumatra,open-research/sumatra,open-research/sumatra,babsey/sumatra,maxalbert/sumatra,dpad/sumatra,open-research/sumatra,open-research/sumatra,babsey/sumatra,dpad/sumatra,babsey/sumatra,apdavison/sumatra,maxalbert/sumatra,apdavison/sumatra,apdavison/sumatra,apdavison/sumatra,dpad/sumatra