diff options
Diffstat (limited to 'devel/py-pinocchio/Makefile')
-rw-r--r-- | devel/py-pinocchio/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/devel/py-pinocchio/Makefile b/devel/py-pinocchio/Makefile index 197c1ac6cd2a..3f24247c90c3 100644 --- a/devel/py-pinocchio/Makefile +++ b/devel/py-pinocchio/Makefile @@ -1,4 +1,3 @@ - PORTNAME= pinocchio PORTVERSION= 0.4.2 CATEGORIES= devel python |