projects / gem5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 38fe4d9)
Get rid of old ini files that haven't been used in a long time.
authorNathan Binkert <binkertn@umich.edu>
Tue, 29 Jun 2004 17:03:20 +0000 (13:03 -0400)
committerNathan Binkert <binkertn@umich.edu>
Tue, 29 Jun 2004 17:03:20 +0000 (13:03 -0400)
--HG--
extra : convert_revision : 43c21727952d46363a46ef3d8fe89546576edc08


No differences found