log src/proto/indent.pro @ 15719:3f92851b9a57 v8.1.0867

age author description
Thu, 31 Jan 2019 14:00:07 +0100 Bram Moolenaar patch 8.1.0857: indent functionality is not separated v8.1.0857