[PATCH] reenable save after file changed on disk

Show replies by date

5579
Age (days ago)
5591
Last active (days ago)

devel@lists.geany.org

4 comments
4 participants

Add to favorites Remove from favorites

tags (0)
participants (4)
  • André Hentschel
  • Colomban Wendling
  • Nick Treleaven
  • Thomas Martitiz