Re: [Github-comments] [geany] Fix the "source file has been modified" issue (#621) - Github-comments - lists.geany.org

List overview All Threads

Re: [Github-comments] [geany] Fix the "source file has been modified" issue (#621)

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

[geany] Indenting code indents...

Colomban Wendling

6 Oct 2015 6 Oct '15

1:16 p.m.

I quickly tested with a GFVS SSH mount and it indeed seems to fix the issue there :)

--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/621#issuecomment-145853249

Attachments:

attachment.htm (text/html — 830 bytes)

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