HomeSoftware Heritage

replace validate_* methods with datatypes in jetty.pp

Description

replace validate_* methods with datatypes in jetty.pp

Details

Provenance
Tim Meusel <tmu@hosteurope.de>Authored on Mar 9 2017, 11:39 AM
Tim Meusel <tim@bastelfreak.de>Committed on Nov 8 2017, 11:14 PM
olasdPushed on Feb 21 2018, 3:07 PM
Parents
rSPPDB7c93997c1de9: bump stdlib 4.2.2->4.13.1
Branches
Unknown
Tags
Unknown

Event Timeline

Tim Meusel <tim@bastelfreak.de> committed rSPPDBbc7d17fd5e6f: replace validate_* methods with datatypes in jetty.pp (authored by Tim Meusel <tmu@hosteurope.de>).Nov 8 2017, 11:14 PM