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.878
Bram Moolenaar authored 
Problem:    'fileignorecase' is missing in options window and quickref.
Solution:   Add the option.
91fc43d3
Name Last commit Last update
..