smilint output for ./MPLS-DS-TE-MIB


No output from smilint! Must be good!