Viewing all changes in revision 376.
- Committer: Mehdi Dogguy
- Date: 2014-10-25 12:42:03 UTC
- Revision ID: git-v1:cd3f2a50a356ed59f049c24987fa27f0b7ee6e48
Relax the regexp which recognizes Sources files in ben query
- files modified:
- frontends/ben_query.ml
expand all
collapse all
added
removed
