Merge vm1.(none):/home/stever/bk/newmem-head
authorSteve Reinhardt <stever@eecs.umich.edu>
Sat, 23 Jun 2007 20:26:30 +0000 (13:26 -0700)
committerSteve Reinhardt <stever@eecs.umich.edu>
Sat, 23 Jun 2007 20:26:30 +0000 (13:26 -0700)
commit245b0bd9b94bfaaa188b7e945f91c0e4a9909cbe
tree7ca0de263839f60d35cd6cf0ca8c17d94c375209
parent57ff2604e59647c6afe988767186f13c80c1aa16
parentac19e0c5050219cbb0579a319fa3fab5cf92835d
Merge vm1.(none):/home/stever/bk/newmem-head
into  vm1.(none):/home/stever/bk/newmem-cache2

src/base/traceflags.py:
    Hand merge.

--HG--
extra : convert_revision : 9e7539eeab4220ed7a7237457a8f336f79216924
src/base/traceflags.py