Remove lex and tools directories, unused by the generator - Githubissues

resource-reasoning / jscert_dev

This repository is now abandoned in favour of using

https://github.com/jscert/jscert

Other

0 stars 0 forks source link

Remove lex and tools directories, unused by the generator #30

Closed IgnoredAmbience closed 9 years ago

IgnoredAmbience commented 9 years ago

Fixes the broken build.

brabalan commented 9 years ago

LGTM