updated for version 7.2.393

Problem: Mac: Can't build with different Xcode developer tools directory. Solution: make "Developer" directory name configurable. (Rainer Muller)
2025-10-02 05:04:20 -04:00 · 2010-03-10 16:28:12 +01:00
parent 581f6dc94d
commit 595a7bee57
3 changed files with 94 additions and 8 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -681,6 +681,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    393,
 /**/
    392,
 /**/