diff options
| author | Samantha McVey <samantham@posteo.net> | 2016-11-11 13:34:19 -0800 |
|---|---|---|
| committer | Samantha McVey <samantham@posteo.net> | 2016-11-11 13:34:19 -0800 |
| commit | ae1d18ad91a8563afe0e567f22912e6227be1a45 (patch) | |
| tree | f6757bdd3fd958b74cfffffd2393f86eff719abe /coq.html.markdown | |
| parent | 0804650a9a50e51d3247cf1517040d63b1bb8f93 (diff) | |
[yaml/en] Fix #2558 1 is interpreted as a number not as a boolean. For a boolean use we use true
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions