tree e28d52a5aee6f719de104f93035778f12ea7dfe6
parent de752ec0ba4da0ecb1fbcd309eeec4993d88f5bc
author Tim Edwards <tim@opencircuitdesign.com> 1665766018 -0400
committer Tim Edwards <tim@opencircuitdesign.com> 1665766018 -0400

Added xcircuit to the list of tools in the "tools.txt" file, or else
the enabled/disabled state does not get captured by the configure
script.  Should not have any particular impact on builds, though.