log src/extents.h @ 5797:a1808d52a34a

age author description
Tue, 17 Jun 2014 20:55:45 +0100 Aidan Kehoe If the position of a window's cached point is deleted, use buffer point instead