diff options
Diffstat (limited to 'motif/0001-wmluiltok-main.patch')
| -rw-r--r-- | motif/0001-wmluiltok-main.patch | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/motif/0001-wmluiltok-main.patch b/motif/0001-wmluiltok-main.patch new file mode 100644 index 0000000..9f38a21 --- /dev/null +++ b/motif/0001-wmluiltok-main.patch | |||
| @@ -0,0 +1,7 @@ | |||
| 1 | --- tools/wml/wmluiltok.l 2017-03-27 18:24:31.000000000 -0400 | ||
| 2 | +++ tools/wml/wmluiltok_main.l 2021-12-12 19:03:58.448183718 -0500 | ||
| 3 | @@ -1,3 +1,4 @@ | ||
| 4 | +%option main | ||
| 5 | %{ | ||
| 6 | /* | ||
| 7 | * Motif | ||