Long live open source
| -UncategorizedJust got two e-mailed patches to tla2darcs, a tool I wrote a few
months ago (but have since then forgotten). =) I love open source.
You can comment with Disqus or you can e-mail me at sacha@sachachua.com.
Just got two e-mailed patches to tla2darcs, a tool I wrote a few
months ago (but have since then forgotten). =) I love open source.