HomeSoftware Heritage

new structure for the git repo

Description

new structure for the git repo

  • Move 'api/client' to the root
  • Move 'api/server' into 'java/server'

Details

Provenance
haltodeAuthored on Jul 17 2019, 4:29 PM
haltodePushed on Jul 18 2019, 11:04 AM
Differential Revision
D1743: New structure for the git repo
Parents
rDGRPHfc9dd235c28b: server: add javadoc documentation
Branches
Unknown
Tags
Unknown