diff options
| author | Pierre-Marie Pédrot | 2015-02-13 11:14:54 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-13 11:15:59 +0100 |
| commit | 8f73830d46d985906deadae3059db75772281516 (patch) | |
| tree | b993e25a13f7e3d7a0ed3fbb5b4532d6566b04fa /kernel | |
| parent | 7c9938cfbd0cf9093f90b0ee7b856105528c2a87 (diff) | |
Selection of the current word in CoqIDE looks at all buffers.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions