K 10 svn:author V 5 luigi K 8 svn:date V 27 2009-01-14T21:31:09.059392Z K 7 svn:log V 394 Another change from Christoph: replace the table of partition with a simpler and faster array of strings. The change in the array is done mechanically, using vi commands. Most entries in the table are probably 15+ years old and largely outdated, so the next step is to remove stale entries with more current values. Submitted by: Christoph Mallon, with small changes from me MFC after: 3 days END