Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. minimal HTTP server;
Changeset 63823:ca8b737b08cf by wenzelm:
minimal HTTP server;
The file was addedsrc/Pure/General/http_server.scala
The file was modified src/Pure/build-jars (diff)