commit | 6fd025ed3345f4bad265ef1cb9155d3edf0f5e5c | [log] [tgz] |
---|---|---|
author | Tim Ansell <me@mith.ro> | Fri Nov 06 14:00:04 2020 -0800 |
committer | GitHub <noreply@github.com> | Fri Nov 06 14:00:04 2020 -0800 |
tree | ab74bc5cb47cf489292bed2d3456f8b747fff575 | |
parent | 20d9d56b6f20ccc8a87c583cd242a916de55cdab [diff] | |
parent | e6336c5038244cdf6da6b8e16e442744e268448b [diff] |
Merge pull request #211 from antmicro/enable_no_conda Enable not using conda for docs build