mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-24 00:17:18 +00:00
Renamed section ids from "eg-" (embedded guide) to "pg-" (programming guide). Signed-off-by: Simone Bordet <simone.bordet@gmail.com>
Renamed section ids from "eg-" (embedded guide) to "pg-" (programming guide). Signed-off-by: Simone Bordet <simone.bordet@gmail.com>