Delete src/oldmem.
authorSteve Reinhardt <stever@eecs.umich.edu>
Sun, 3 Dec 2006 06:11:24 +0000 (01:11 -0500)
committerSteve Reinhardt <stever@eecs.umich.edu>
Sun, 3 Dec 2006 06:11:24 +0000 (01:11 -0500)
commit711dc47e8c002084ac71b9e40e7c4a66ecb12e32
tree979e75f0569dd40cf78a2c931e376c091ecbc0cd
parentc0f21b09c81e5562a916f7cb562a7df7f7709f4a
Delete src/oldmem.

util/make_release.py:
    src/oldmem gone from repo, no need to delete here.

--HG--
extra : convert_revision : 570fa1b8d7144376cf13a010160a39d1c1cccbc2
util/make_release.py