~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 expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: