Commit 646c17e
committed
typo in newline of kripke docs
Signed-off-by: vsoch <[email protected]>1 parent 481d3ba commit 646c17e
1 file changed
+3
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
297 | 297 | | |
298 | 298 | | |
299 | 299 | | |
300 | | - | |
| 300 | + | |
| 301 | + | |
| 302 | + | |
301 | 303 | | |
302 | 304 | | |
303 | 305 | | |
| |||
0 commit comments