Ignore:
Timestamp:
Jul 31, 2015, 10:14:54 PM (4 years ago)
Author:
mmoll@…
Message:

ompl: patch for small GUI problems

Location:
trunk/dports/science/ompl
Files:
2 added
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/science/ompl/Portfile

    r139012 r139087  
    99name                ompl
    1010version             1.0.0
    11 revision            1
     11revision            2
    1212categories          science
    1313maintainers         mmoll
     
    6161    checksums           rmd160  a5b07eac786560faeeee0ff72162cc363035bf28 \
    6262                        sha256  2a7aa0374c1f11b83a54c2d35104e732e5c439804117a968dad10994390e8a7a
     63    patchfiles          patch-gui-ompl_app.py.diff
    6364}
    6465
Note: See TracChangeset for help on using the changeset viewer.