diff options
| author | Nadrieril | 2019-12-17 14:33:06 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-12-19 21:34:07 +0000 |
| commit | 881248d2c4f0b4556a23d671d355bb7258adf8bb (patch) | |
| tree | 0b70a90b646406d911348124e232d33e9daf5705 /dhall/.gitignore | |
| parent | f54d49e38b15c30a8b2cef8d85a8f69b1edbf3c5 (diff) | |
Rename syntax::core to syntax::ast
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions