-
Michael Hanus authored
Fix to solve some file dependency problems in global installations: if a file should be written but exists and is not writable, a warning is issued (instead of an error)
ed5b6566
Fix to solve some file dependency problems in global installations: if a file should be written but exists and is not writable, a warning is issued (instead of an error)