Hi, On 2019-04-10 10:47:57 +0200, felixs wrote: > is the file mutt_dotlock.c part of mutt's source code?
Yes and no. :) It is just a copy of dotlock.c, which is part of mutt's source code. The copy is done by mutt_dotlock.c: dotlock.c cp $(srcdir)/dotlock.c mutt_dotlock.c in the Makefile.am file. Now, I don't know why it is in the repository under the name "dotlock.c" and not "mutt_dotlock.c". -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)