tree 0f3bb5762cc2a4b1bfdf90e37f563807ca8685e1
parent f04c4213fa65ef030aa0409a442529035414eba3
author Tim Edwards <tim@opencircuitdesign.com> 1616111595 -0400
committer Tim Edwards <tim@opencircuitdesign.com> 1616111595 -0400

Added "set ng_nomodcheck" to spinit, which is supposed to make
loading models somewhat faster.