diff options
| author |   Thomas Duval <thomas.duval@orange.com> | 2016-09-05 17:13:09 +0200 |
|---|---|---|
| committer | Thomas Duval <thomas.duval@orange.com> | 2016-09-20 10:38:37 +0200 |
| commit | f81ecda07c3203856af134aca2b397711432a58f (patch) | |
| tree | 950f15825f3ba1d098e95fa0b7bb256aa28a3a47 /.gitignore | |
| parent | 1dcfe5a30a080297a3f31ec9dc38e19ba741107f (diff) | |
Add an option to force the name of the logfile.
Change-Id: Iea61a1045c9d60a157725dfc7df8dad5b9ca905a
(cherry picked from commit 347dbd9d0ec41fe4951210eea9dad2b41bf7f142)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions