quicker rename function
authorpaul <paul@plutz.net>
Sun, 3 Dec 2017 15:04:54 +0000 (15:04 +0000)
committerpaul <paul@plutz.net>
Sun, 3 Dec 2017 15:04:54 +0000 (15:04 +0000)
commit408a5fe49cabd0d7c025e86f9fb0053e57385ef3
treedf8c1e32cbad6bf324c4ba5782e602406609c8f5
parent7b2162fb64011ee5fcab94c2240d301bab9f71ae
quicker rename function

svn path=/trunk/; revision=10
index.cgi