diff options
| author |  Gael Guennebaud <g.gael@free.fr> | 2016-12-28 23:35:43 +0100 |
|---|---|---|
| committer | Gael Guennebaud <g.gael@free.fr> | 2016-12-28 23:35:43 +0100 |
| commit | 8d7810a4762776fa7363e9bfcac429e7d8b58645 (patch) | |
| tree | 75d12d8e1afaa7c368b5f4e28a64570f907c2f50 /doc/AsciiQuickReference.txt | |
| parent | 97812ff0d30c2fd5c93791a63a941d0960a64b69 (diff) | |
bug #1365: fix another type mismatch warning
(sync is set from and compared to an Index)
Diffstat (limited to 'doc/AsciiQuickReference.txt')
0 files changed, 0 insertions, 0 deletions