diff options
| author | Adrian Lang <mail@adrianlang.de> | 2009-08-10 14:48:50 +0200 |
|---|---|---|
| committer | Adrian Lang <mail@adrianlang.de> | 2009-08-10 14:48:50 +0200 |
| commit | ec88d2650ea4371cf53229171851747b31587e4b (patch) | |
| tree | 00c3cd79bced5a5212fab07a97139c9717e1171f /local/.gitignore | |
| parent | ee9bfa715807cdd352407f3d01bc3126dc777b60 (diff) | |
Replace own OMB stack with libomb.
Diffstat (limited to 'local/.gitignore')
0 files changed, 0 insertions, 0 deletions