2 files changed
+5
-3
lines changedDiff for: Makefile
+1-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
31 | 31 |
| |
32 | 32 |
| |
33 | 33 |
| |
34 |
| - | |
| 34 | + | |
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
|
Diff for: doc/operators.sgm
+4-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
393 | 393 |
| |
394 | 394 |
| |
395 | 395 |
| |
396 |
| - | |
397 |
| - | |
| 396 | + | |
| 397 | + | |
| 398 | + | |
| 399 | + | |
398 | 400 |
| |
399 | 401 |
| |
400 | 402 |
| |
|
0 commit comments