diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-12 19:44:53 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-12 19:44:53 +0200 |
| commit | a6955cf42df675518514e4da54f36174de9eb736 (patch) | |
| tree | 0e80aa71d1810a5edaef7b5e8458b937a05279a7 /JOURNAL | |
| parent | e17a65b7e6e2696b2e68068079d95def7671b4e5 (diff) | |
Simplify MLKEnvironment.
Diffstat (limited to 'JOURNAL')
0 files changed, 0 insertions, 0 deletions