diff options
| author | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-02 11:52:28 +0200 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-02 11:52:28 +0200 |
| commit | c80a49f556ae565e280637b4617d6492a1d5a3b8 (patch) | |
| tree | bfdd20042f16e87fb4c7db4095d85908d17acf11 /doc/lang.makefile | |
| parent | e876223c704d8cac6246b4aff4bf683fb8b053e3 (diff) | |
move the mapping generation to the top as the response reading is
currently waiting for the solver to complete and not non-blocking
so we can generate the map while waiting for the solver
Diffstat (limited to 'doc/lang.makefile')
0 files changed, 0 insertions, 0 deletions