move ping_linux.ini into linux-kernel-tsunami dir
authorAli Saidi <saidi@eecs.umich.edu>
Thu, 10 Jun 2004 21:31:25 +0000 (17:31 -0400)
committerAli Saidi <saidi@eecs.umich.edu>
Thu, 10 Jun 2004 21:31:25 +0000 (17:31 -0400)
--HG--
extra : convert_revision : da08795d48bd7b82fdfb7443e4ffa7e45c037a0c


No differences found