diff options
Diffstat (limited to 'motif/0001-wmluiltok-main.patch')
| -rw-r--r-- | motif/0001-wmluiltok-main.patch | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/motif/0001-wmluiltok-main.patch b/motif/0001-wmluiltok-main.patch deleted file mode 100644 index 9f38a21..0000000 --- a/motif/0001-wmluiltok-main.patch +++ /dev/null | |||
| @@ -1,7 +0,0 @@ | |||
| 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 | ||