-
Committer:
Dominique Lasserre
-
Date:
2014-08-02 01:01:29 UTC
-
mto:
This revision was merged to the branch mainline in
revision
43.
-
Revision ID:
git-v1:9998689711ef80aa952e084d151a8844503c7467
Project file: Support choices in extrachecks
* Simplify valama.vlp a bit.
* No nested choices supported yet.