diff options
| author | toastal <561087+toastal@users.noreply.github.com> | 2021-08-09 11:43:50 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-09 20:43:50 +0900 |
| commit | a099fe24b2e898c93c0aa4391e5a5631932684a6 (patch) | |
| tree | e016abd55f81e00595e887dd9700e4faaa7448ce /doc/ale.txt | |
| parent | 9264ffda2362bf54c223370b2dc5482354b290b7 (diff) | |
| download | ale-a099fe24b2e898c93c0aa4391e5a5631932684a6.zip | |
Dhall fixes: use stdin, doc errors (#3868)
* purs-tidy
* Dhall fixes: use stdin, docs errors
Diffstat (limited to 'doc/ale.txt')
0 files changed, 0 insertions, 0 deletions