diff options
author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-25 14:55:54 +0200 |
---|---|---|
committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-25 14:55:54 +0200 |
commit | f6da3068e9e854d6913ba45cf2b7d9deafd87a91 (patch) | |
tree | 38271d4598f91699153e92f9505fe57c22c2f0fa /GNUmakefile | |
parent | 1935a12096ad737edf5ec94e5b7a18980566f9ab (diff) |
Environment handling: Add MLKEnvironment methods for direct access to bindings.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions