Bram Moolenaar ce5c274201 patch 8.0.0527: leftover file from RISC OS ...

Problem:    RISC OS support was removed long ago, but one file is still
            included.
Solution:   Delete the file. (Thomas Dziedzic, closes #1603)

2017-03-30 21:51:31 +02:00

19 KiB

Raw Blame History

View Raw