]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - server/log
projects / logicplayer.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
It now logs again (using tee).
[logicplayer.git] / server / log
diff --git a/server/log b/server/log
new file mode 100644 (file)
index 0000000..88e5175
--- /dev/null
+++ b/server/log
@@ -0,0 +1 @@
+Server started:
Unnamed repository; edit this file 'description' to name the repository.