renamed old sliceip in sliceip.vs
authorGiovanni Di Stasi <giovanni.distasi@unina.it>
Tue, 9 Jul 2013 12:46:12 +0000 (14:46 +0200)
committerGiovanni Di Stasi <giovanni.distasi@unina.it>
Tue, 9 Jul 2013 12:46:12 +0000 (14:46 +0200)
commit3cd487b12aa4d3af39191df482ddabf3f58ee613
tree6e477621690923fb4850602c49d429de714f7a0f
parent9bf4755e932e0036db1bc03285e8c2a3b8ed0ede
renamed old sliceip in sliceip.vs
root-context/exec/sliceip.vs [moved from root-context/exec/sliceip with 100% similarity]