wdiff-dev
[Top][All Lists]
Advanced

[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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]