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)
commit7b24ae00dc2b3f503a15c28a7728cfc9a3e9299f
tree29a425987fc83e30e85e160f5c98cec465dc45ff
parent23a6f21ff9fbdf3cf3bc1183f5384ab5340e95e5
Rename '*.odesc' files to '*.od'.

--HG--
extra : convert_revision : 68b4f1cc414ab67e7bd19682854ef3f0b28986c0