Re: [Github-comments] [geany] Get persistent messages saying the source file has been modified. Even though no other process is using the file. (#605) - Github-comments - lists.geany.org

List overview All Threads

Re: [Github-comments] [geany] Get persistent messages saying the source file has been modified. Even though no other process is using the file. (#605)

Re: [Github-comments] [geany]...

Re: [Github-comments] [geany] Fix...

Colomban Wendling

6 Oct 2015 6 Oct '15

1:16 p.m.

Closed #605 via 25bd24187ba30497109e01938365e8a4ca2a12fd.

--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/605#event-427931687

Attachments:

attachment.htm (text/html — 1.0 KB)

Reply

Show replies by date

3314

Age (days ago)

3314

Last active (days ago)

github-comments@lists.geany.org

0 comments

1 participants

tags (0)

participants (1)

Colomban Wendling