Diffusion Compressed graph representation 40d8bfa5b7f0

api: server: remove useless Path to String conversion
40d8bfa5b7f0
Actions

Tags

None

Subscribers

None

Description

api: server: remove useless Path to String conversion

Details

Provenance

haltode	Authored on May 28 2019, 7:49 AM
haltode	Pushed on May 31 2019, 8:14 AM

Parents

rDGRPHae3105a94e24: api: server: merge redundant 'visit' method into constructor

Branches

Unknown

Tags

Unknown

Event Timeline

haltode committed rDGRPH40d8bfa5b7f0: api: server: remove useless Path to String conversion (authored by haltode).May 28 2019, 7:50 AM

Changes (1)

Path

Size

api/

server/

src/

main/

java/

org/

softwareheritage/

graph/

rDGRPH40d8bfa5b7f0

api/server/src/main/java/org/softwareheritage/graph/App.java

Loading...