wdiff - Patches: patch #10091, Extended patch feature to select...
You are not allowed to post comments on this tracker with your current authentication level.
patch #10091: Extended patch feature to select by options exactly what is whitespace to multiple characters
Submitter: | Benito van der Zander <benibela> | ||
Submitted: | Tue 03 Aug 2021 04:35:51 PM UTC | ||
Category: | None | Priority: | 5 - Normal |
Status: | None | Privacy: | Public |
Assigned to: | None | Open/Closed: | Open |
Attached Files
Depends on the following items: None found
Items that depend on this one: None found
Carbon-Copy List
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follows 1 latest change.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2021-08-03 | benibela | Attached File | - | ![]() |
Added user_spaces.patch, #51731 |
#8604 and #9932 add an option to declare a character x as space with -ux
With this patch you can declare multiple characters. E.g. x, y, and z, with -uxyz