Commit bd3f5c1f authored by Hans-Christian Ebke's avatar Hans-Christian Ebke
Browse files

Added option to suppress usage of TAUCS even if it is available.

parent 58d3bf33
Pipeline #1575 passed with stage