[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[patch #10091] Extended patch feature to select by options exactly what
From: |
Benito van der Zander |
Subject: |
[patch #10091] Extended patch feature to select by options exactly what is whitespace to multiple characters |
Date: |
Tue, 3 Aug 2021 12:35:53 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:90.0) Gecko/20100101 Firefox/90.0 |
URL:
<https://savannah.gnu.org/patch/?10091>
Summary: Extended patch feature to select by options exactly
what is whitespace to multiple characters
Project: wdiff
Submitted by: benibela
Submitted on: Tue 03 Aug 2021 04:35:51 PM UTC
Category: None
Priority: 5 - Normal
Status: None
Privacy: Public
Assigned to: None
Originator Email:
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
#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
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Tue 03 Aug 2021 04:35:51 PM UTC Name: user_spaces.patch Size: 3KiB
By: benibela
<http://savannah.gnu.org/patch/download.php?file_id=51731>
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/patch/?10091>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [patch #10091] Extended patch feature to select by options exactly what is whitespace to multiple characters,
Benito van der Zander <=