diff options
author | Achilleas Pipinellis <axilleas@axilleas.me> | 2016-06-02 12:10:04 +0300 |
---|---|---|
committer | Achilleas Pipinellis <axilleas@axilleas.me> | 2016-06-02 12:10:04 +0300 |
commit | acfbeced52db321534c7b03a56a909e280d26914 (patch) | |
tree | b00a4f220f4b5776fa1a1506a26b4b947b3ef7e7 /app | |
parent | 30524901e28176e96e7c0d1a710508367ff99d9f (diff) | |
parent | c1923aef04d63050376e14033a6a04a1e3ae0904 (diff) |
Merge branch 'minor_doc_updates' into 'master'
Minor doc updates
## What does this MR do?
Adds to and clarifies some documentation. Specifically, when using `gdb` to debug you need to detach and exit when done. Next, this clarifies the type of file locking that we require.
Thanks to @northrup for the details about mandatory vs. advisory file locking.
Note: These were two really small changes so I combined in to one merge request. However, I left the commits separate for clarity.
See merge request !4421
Diffstat (limited to 'app')
0 files changed, 0 insertions, 0 deletions