Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • v8.2.1253
  • v8.2.1252
  • v8.2.1251
  • v8.2.1250
  • v8.2.1249
  • v8.2.1248
  • v8.2.1247
  • v8.2.1246
  • v8.2.1245
  • v8.2.1244
  • v8.2.1243
  • v8.2.1242
  • v8.2.1241
  • v8.2.1240
  • v8.2.1239
  • v8.2.1238
  • v8.2.1237
  • v8.2.1236
  • v8.2.1235
  • v8.2.1234
21 results
Compare History
user avatar
updated for version 7.3.215
Bram Moolenaar authored 
Problem:    Wrong file names in previous patch. (Toothpik)
Solution:   Include the option changes.
f7befa9f
Name Last commit Last update