dergoegge
3a060ae7b6
scripted-diff: Rename nUnconnectingHeaders and fPreferHeaders
-BEGIN VERIFY SCRIPT-
ren() { sed -i "s:\<$1\>:$2:g" $(git grep -l "\<$1\>" ./src ./test); }
ren nUnconnectingHeaders m_num_unconnecting_headers_msgs
ren fPreferHeaders m_prefers_headers
ren MAX_UNCONNECTING_HEADERS MAX_NUM_UNCONNECTING_HEADERS_MSGS
-END VERIFY SCRIPT-
2023-03-30 14:56:34 +02:00
..
2023-03-27 14:34:52 +01:00
2023-02-28 12:04:47 -05:00
2023-02-15 14:58:47 +00:00
2023-03-21 13:54:11 +01:00
2023-03-23 17:03:39 -04:00
2023-03-16 13:56:35 +00:00
2023-03-26 20:17:55 +01:00
2023-03-27 15:53:42 +01:00
2023-03-26 20:17:55 +01:00
2023-03-26 20:17:55 +01:00
2023-03-08 17:41:24 -05:00
2023-02-23 17:58:40 -05:00
2023-03-28 12:03:39 +01:00
2023-03-03 15:23:43 +01:00
2023-03-26 20:17:46 +01:00
2023-03-27 14:34:52 +01:00
2023-03-26 20:17:46 +01:00
2023-03-26 20:18:13 +01:00
2023-03-13 17:09:54 +01:00
2023-02-17 13:34:40 -05:00
2023-03-16 13:56:35 +00:00
2023-03-26 20:17:55 +01:00
2023-03-13 17:09:47 +01:00
2023-03-26 20:17:55 +01:00
2023-03-13 17:09:47 +01:00
2023-03-13 17:09:47 +01:00
2023-02-15 14:42:28 -08:00
2023-03-15 16:43:31 +01:00
2023-03-15 16:43:31 +01:00
2023-03-21 13:04:21 +00:00
2023-03-15 16:42:42 +01:00
2023-03-15 16:42:42 +01:00
2023-03-21 13:54:11 +01:00
2023-02-16 12:33:26 +00:00
2023-02-17 13:34:40 -05:00
2023-03-06 19:35:59 -05:00
2023-02-22 17:58:41 +00:00
2023-03-20 12:49:10 -04:00
2023-03-09 15:05:11 +01:00
2023-03-13 17:09:54 +01:00
2023-03-16 13:56:35 +00:00
2023-02-27 13:53:29 +00:00
2023-02-17 17:28:14 -05:00
2023-03-07 13:05:01 -05:00
2023-02-17 13:34:40 -05:00
2023-03-30 14:56:34 +02:00
2023-03-27 16:00:02 +02:00
2023-03-27 16:00:02 +02:00
2023-02-17 13:34:40 -05:00
2023-02-17 13:34:40 -05:00
2023-03-13 17:09:54 +01:00
2023-02-16 10:01:33 +00:00
2023-02-16 09:39:50 +00:00
2023-03-02 14:48:28 +01:00
2023-02-15 14:58:47 +00:00
2023-03-15 19:39:30 -04:00
2023-02-28 12:04:47 -05:00
2023-02-17 13:34:40 -05:00
2023-03-13 17:09:54 +01:00
2023-03-20 12:42:24 -04:00
2023-03-22 11:16:56 +00:00
2023-03-30 14:55:28 +02:00