| commit | 1d0f17e2d26cde84f18407efef14503c46461508 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Jun 01 19:43:07 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Jun 01 19:43:07 2010 +0000 |
| tree | 19b37066f457bd1fbbf301fb0973aacce34fd0c1 | |
| parent | e1a248ae1cd6b6c4267d9f3ab4a84ce83daaa5ec [diff] |
minor fix to "add precedence" proposal: respect "after" in the "menu" offering different orders.