Commit 9c0e4b12 authored by Andreas Marek's avatar Andreas Marek
Browse files

Make building with ftimings default

parent 77cd3307