|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#23989: closed ([PATCH] dfa: Reindent dfa.c) |
Date: | Fri, 15 Jul 2016 10:30:02 +0000 |
Your message dated Fri, 15 Jul 2016 12:29:38 +0200 with message-id <address@hidden> and subject line Re: bug#23989: [PATCH] dfa: Reindent dfa.c has caused the debbugs.gnu.org bug report #23989, regarding [PATCH] dfa: Reindent dfa.c to be marked as done. (If you believe you have received this mail in error, please contact address@hidden) -- 23989: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=23989 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: [PATCH] dfa: Reindent dfa.c Date: Fri, 15 Jul 2016 08:09:21 +0900 Reindent this like: indent with indent --no-tabs -l79 -Tsize_t -Tbool -Twint_t -Tposition_set -Tmust dfa.c and adjust it.0001-dfa-Reindent-dfa.c.patch
Description: Text document
--- End Message ---
--- Begin Message ---Subject: Re: bug#23989: [PATCH] dfa: Reindent dfa.c Date: Fri, 15 Jul 2016 12:29:38 +0200 Thanks. I think the internal tabs are deliberate, so let's leave those alone. (Admittedly the code is not consistent in this area.) I installed the other white-space changes. User-agent: Mozilla/5.0 (X11; Linux i686; rv:38.0) Gecko/20100101 Thunderbird/38.8.0
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |