[racket-dev] [plt] Push #25720: master branch updated

Would it make sense to make this available in the `data' collection?

I'm sure it could be useful beyond syntax coloring.

Vincent


At Mon, 19 Nov 2012 23:07:35 -0500,
dyoo at racket-lang.org wrote:
> 
> dyoo has updated `master' from 06db2f9a74 to 3f54afb9fd.
>   http://git.racket-lang.org/plt/06db2f9a74..3f54afb9fd
> 
> =====[ One Commit ]=====================================================
> Directory summary:
>  100.0% collects/syntax-color/private/
> 
> ~~~~~~~~~~
> 
> 3f54afb Danny Yoo <dyoo at racket-lang.org> 2012-11-19 21:06
> :
> | Add rb-tree implementation in preparation for improving token-tree performance.
> :
>   A collects/syntax-color/private/red-black.rkt