Add setsa in default Makefile target
authorAdam Chlipala <adamc@hcoop.net>
Sat, 10 Feb 2007 21:06:09 +0000 (21:06 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 10 Feb 2007 21:06:09 +0000 (21:06 +0000)
commit7b0b04403d80589743acbad228cd7dc5c616c33f
treed84ea13b69e53795f78ea13ae08637eff21328f2
parent216f7bc503e90dd5ad3c5f0823858f11201269cb
Add setsa in default Makefile target
Makefile