[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] remove the last remnants of \renameinput
|
From: |
Johannes Schindelin |
|
Subject: |
[PATCH] remove the last remnants of \renameinput |
|
Date: |
Wed, 8 Mar 2006 12:57:55 +0100 (CET) |
Hi,
\renameinput was renamed to \sourcefilename a long time ago.
Ciao,
Dscho
renameinput.patch
Description: Text document
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [PATCH] remove the last remnants of \renameinput,
Johannes Schindelin <=