]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1eba2c9) | patch
Correct ownership
authorGuillaume Munch <gm@lyx.org>
Sat, 18 Mar 2017 19:37:55 +0000 (20:37 +0100)
committerGuillaume Munch <gm@lyx.org>
Sun, 19 Mar 2017 13:41:17 +0000 (14:41 +0100)
commitfa9ab74ffa85a94eb215b5c5e689fac324919d30
tree5b77f96a260cfb9c877b6ecb8811b44601bbad84tree | snapshot
parent1eba2c92dae1f1094e4d47a7775f3f99a1cdd93dcommit | diff
Correct ownership

One can now delete a file monitor if a blocker is active.
src/support/FileMonitor.cpp diff | blob | history
src/support/FileMonitor.h diff | blob | history
Repository for new features