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.188
Bram Moolenaar authored 
Problem:    More RISC OS files to remove.
Solution:   Remove them.  Update the file list.
1bfb61e8
Name Last commit Last update