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)
root-context/exec/sliceip.vs [moved from root-context/exec/sliceip with 100% similarity]