Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

fix use of |$. #3

Merged
merged 1 commit into from Jun 23, 2013
Commits on Mar 29, 2013
  1. fix obsolete use of |$.

    timo committed Mar 29, 2013