iarspider 08528a7379 Gaudi: separate variant for building documentation (#16515) ...

* Gaudi: separate variant for building documentation

* Update package.py

2020-05-08 12:24:42 -05:00

..

build_testing.patch

…

link_target_fixes32.patch

…

link_target_fixes.patch

…

package.py

Gaudi: separate variant for building documentation (#16515)

2020-05-08 12:24:42 -05:00

python2.patch

…