Update from Massimo

diff --git a/contrib/README b/contrib/README
index 875c2b20abaf1127c52f7413e902707179600b1f..ccc0a5bf1868a485769b1220fe1263c198932d7a 100644 (file)
--- a/contrib/README
+++ b/contrib/README
@@ -72,6 +72,10 @@ string -
        C-like input/output conversion routines for strings
        by Massimo Dal Zotto <dz@cs.unitn.it>
 
+tools -
+       Assorted developer tools
+       by Massimo Dal Zotto <dz@cs.unitn.it>
+
 unixdate -
        Conversions from integer to datetime
        by Thomas Lockhart <lockhart@alumni.caltech.edu>