diff options
| author | Martin Možina <martin.mozina@fri.uni-lj.si> | 2017-01-31 13:35:25 +0100 |
|---|---|---|
| committer | Martin Možina <martin.mozina@fri.uni-lj.si> | 2017-01-31 13:35:25 +0100 |
| commit | 4ef4045a05b0d6e86655f032ced6053141fbc75a (patch) | |
| tree | 9d52a9d311e10c61cd705f0ffc24b76986417809 /.gitignore | |
| parent | 77a728fa40e6df6bcc47de4c9541bae8a31ab828 (diff) | |
Patterns now include also singleton literals, which is needed for
some base cases.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions