tree 04075e21311877271a40db3fab06fd79e8fcc89c
parent b6d540b925f80630e6c8146ac76758ab7e90b3dd
author Ahmed Ghazy <ax3ghazy@aucegypt.edu> 1595851294 +0200
committer Tim Edwards <tim@opencircuitdesign.com> 1595883315 -0400

Setting the default LINK_TARGETS to none

- The installation can run in docker containers by default of course at the cost
  of disk space.