diff options
| author | František Dvořák <valtri@civ.zcu.cz> | 2014-12-11 18:58:04 +0100 |
|---|---|---|
| committer | František Dvořák <valtri@civ.zcu.cz> | 2014-12-11 18:58:04 +0100 |
| commit | 615f01659b2b413a64beff776e4ebb4ef6c805e2 (patch) | |
| tree | ac2c35e87897596de78dc4cc7b2d157a89a964f2 /Makefile | |
| parent | 0dc8b5211cdf5f41f95f641e07a95ccf01f25f50 (diff) | |
More generic support for separating "sections". Initial stubs for support of parallel utility.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions