diff options
| author | Matthieu Sozeau | 2014-09-11 20:53:13 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-11 20:53:13 +0200 |
| commit | ae42e00f886f7c2ef743e2fdd58c55b5c3acdd87 (patch) | |
| tree | 841be5cc3ceb8d065408bb5ed2355f9fa4d73e63 /plugins/xml | |
| parent | 580b25e05c7cc9e7a31430b3d9edb14ae12b7598 (diff) | |
Use an AST for strategy names.
Diffstat (limited to 'plugins/xml')
0 files changed, 0 insertions, 0 deletions