dart-lang/html5lib — pull request #73 by whesse (2013-10-30 12:35:48+00:00)
Title: Remove uses of dart:io Options

The Options class is being removed. Replacing a use of it with main(List args).