| commit | 1e5c9b70b4322c4e2d19ad61d754d5c8eeb61cc5 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Fri Dec 14 20:06:43 2012 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Fri Dec 14 20:06:43 2012 +0200 |
| tree | 7da7a7eb6bb3191d85dd3193e7af750b04f5af69 | |
| parent | 9504b131457e1e3fc10dace6ffcb22b00f3a0077 [diff] |
#16681: use "bidirectional class" instead of "bidirectional category".