]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #4172 from graydon/remove-old-syntax-ext
authorBrian Anderson <andersrb@gmail.com>
Thu, 13 Dec 2012 01:13:41 +0000 (17:13 -0800)
committerBrian Anderson <andersrb@gmail.com>
Thu, 13 Dec 2012 01:13:41 +0000 (17:13 -0800)
Remove old syntax ext


Trivial merge