Allow fast from top level makefile.

Authored by dterei on Jun 6 2013, 2:05 PM.

Description

Allow fast from top level makefile.

Details

Committed
dtereiJun 6 2013, 2:05 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF6599d4691e1d: Update gitignore.
Branches
Unknown
Tags
Unknown