reload ferm when files are removed
authorPeter Palfrader <peter@palfrader.org>
Sun, 29 Sep 2019 13:59:29 +0000 (15:59 +0200)
committerPeter Palfrader <peter@palfrader.org>
Sun, 29 Sep 2019 13:59:29 +0000 (15:59 +0200)

No differences found