]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 000234a) | patch
added newline to log when log_file is in use
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 12:16:08 +0000 (12:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 12:16:08 +0000 (12:16 +0000)
commiteed9cd448726bb9db34ac69e8e137460e691bcfc
tree37aa78960e80505bd575cef02e3a0974ac28f931tree | snapshot
parent000234a18dd37e780907043e0d7405029078b0a7commit | diff
added newline to log when log_file is in use
helm/ocaml/getter/http_getter_logger.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.