diff options
| author | Nadrieril | 2019-08-13 20:54:15 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-13 20:54:15 +0200 |
| commit | 77af0bbc171618f48531cc6b1d77e18089928885 (patch) | |
| tree | 8bac17d4b3f1f1adf5f823708d322876eef6cfee /dhall/src/error/text/InvalidOptionalElement.txt | |
| parent | 5895c3aa6552f75d7e5202be561f9734fe8945e7 (diff) | |
Stop tracking the absence of Embed values at the type level
Diffstat (limited to 'dhall/src/error/text/InvalidOptionalElement.txt')
0 files changed, 0 insertions, 0 deletions