Commit Graph

3 Commits (37df2e19fd8075fe9746ac7ca4538f7a0e754472)

Author SHA1 Message Date
Michael Peter Christen 2823e33531 fixes for wrong port number in shell scripts
13 years ago
orbiter 88773e4daa changed the default port from 8080 to 8090
14 years ago
orbiter 3197ca42ed preparations to move the HTCache into cora:
14 years ago