Parent Directory | Revision Log | Patch
revision 1.11 by spiralvoice, Mon Aug 15 20:22:50 2005 UTC | revision 1.12 by spiralvoice, Wed Aug 31 23:54:02 2005 UTC | |
---|---|---|
# | Line 21 val load : unit -> unit | Line 21 val load : unit -> unit |
21 | val save : unit -> unit | val save : unit -> unit |
22 | val save_sources : unit -> unit | val save_sources : unit -> unit |
23 | val backup_options : unit -> unit | val backup_options : unit -> unit |
24 | val buildinfo : unit -> string | |
25 | ||
26 | val done_files : CommonTypes.file list Options.option_record | val done_files : CommonTypes.file list Options.option_record |
27 | val files : CommonTypes.file list Options.option_record | val files : CommonTypes.file list Options.option_record |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |