[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--development--0.1--patch-92
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--development--0.1--patch-92 |
Date: |
Sun, 08 Feb 2004 17:10:45 +0100 |
Revision: demexp--development--0.1--patch-92
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Feb 8 17:10:30 CET 2004
Standard-date: 2004-02-08 16:10:30 GMT
Modified-files: raw-clnt/command.ml.nw
raw-clnt/toplevel.ml.nw
New-patches: address@hidden/demexp--development--0.1--patch-92
Summary: Raw client: added command to make a vote
Keywords:
* Added command (vote) to make a vote.
* Minor renaming of variable.
* Updated raw-clnt/Command.wait_user_yes so that read_line is used
instead of input_char because The Unix terminal won't send any input
until a CR is entered.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--development--0.1--patch-92,
David <=