~hrg/hrg-packaging/choreonoid-jvrc-plugin-deb
Viewing all changes in revision 15.
-
Committer:
Fumio KANEHIRO
-
Date:
2017-09-25 11:09:01 UTC
-
Revision ID:
f-kanehiro@aist.go.jp-20170925110901-4bznc2v5a5syucz3
add -DUSE_PYTHON=FALSE
expand all
collapse all
Show diffs side-by-side
added
removed