Skip to content

rm HI build option

Thomas Mc Cauley requested to merge rm-HI-flag into master
  • flag is not needed for HI-only releases

  • closes #14 (closed)

Merge request reports