diff options
| author | Hugo Herbelin | 2015-12-09 23:38:00 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 17:44:19 +0100 |
| commit | fb77937a6ba0fe45e978911db08de57f931683e1 (patch) | |
| tree | 7a82660e8a0686d4989a615bf5c839ec2e7d8c60 /kernel | |
| parent | 20e1829ad3de42dd322af972c6f9a585f40738ef (diff) | |
Changing syntax of pat/constr1.../constrn into pat%constr1...%constrn.
Marking it as experimental.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions