Rename '*.odesc' files to '*.od'.
authorSteve Reinhardt <stever@eecs.umich.edu>
Thu, 10 Jun 2004 04:01:20 +0000 (21:01 -0700)
committerSteve Reinhardt <stever@eecs.umich.edu>
Thu, 10 Jun 2004 04:01:20 +0000 (21:01 -0700)
--HG--
extra : convert_revision : 68b4f1cc414ab67e7bd19682854ef3f0b28986c0


No differences found