diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-17 20:13:16 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-17 20:13:16 +0200 |
| commit | e10c42925058f0fbaa1a3398ddfa9441b33a4e72 (patch) | |
| tree | a867abe6cb822e158b33cafd9dbd0980bf24e89f /GNUmakefile | |
| parent | d216a7cbc174a35b93c1e5af66b7bc2e1b0284db (diff) | |
MLKDynamicContext: Introduce a global fallback context.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions