diff src/m/pyrmips.h @ 80560:13d2b17cfa67

* killing.texi (Appending Kills): Remove a strangely off-topic index entry.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 08 May 2008 18:08:49 +0000
parents 695cf19ef79e
children 375f2633d815
line wrap: on
line diff