[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--dev--0.5--patch-55
|
From: |
David |
|
Subject: |
[Demexp-cvs] arch commit: demexp--dev--0.5--patch-55 |
|
Date: |
Sun, 03 Jul 2005 16:15:24 +0200 |
Revision: demexp--dev--0.5--patch-55
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Jul 3 16:15:01 CEST 2005
Standard-date: 2005-07-03 14:15:01 GMT
Modified-files: doc/demexp-book.tex doc/demexp-server.1
srv/demexp-server.ml.nw srv/srvflags.ml.nw
New-patches: address@hidden/demexp--dev--0.5--patch-55
Summary: add --logfile option to server
Keywords: server
* srv/srvflags.ml.nw
srv/demexp-server.ml.nw: new option --logfile to redirect logs to a
given filename.
* doc/demexp-server.1
doc/demexp-book.tex: update doc accordingly.
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--dev--0.5--patch-55,
David <=