diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2019-08-29 12:16:40 +0200 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2019-08-29 12:16:40 +0200 |
| commit | 5e0ed7124b78b45c2cd6ff342ba3e2a0aa99129f (patch) | |
| tree | 6eb87265de6ec79532acb559331f5855c321738d /extra/gnome-desktop | |
| parent | 9bf3a2110fba5e329123b4afaa4006b5a803f524 (diff) | |
| download | packages-5e0ed7124b78b45c2cd6ff342ba3e2a0aa99129f.tar.xz | |
extra/opencv: temporary fix to find the Eigen header fils
Diffstat (limited to 'extra/gnome-desktop')
0 files changed, 0 insertions, 0 deletions