Diffusion Compressed graph representation 63dc317c44bb

api: server: suppress unchecked cast warning
63dc317c44bb
Actions

Tags

None

Subscribers

None

Description

api: server: suppress unchecked cast warning

Details

Provenance

haltode	Authored on May 19 2019, 8:20 AM
haltode	Pushed on May 19 2019, 8:20 AM

Parents

rDGRPH6621977ddf70: api: server: add 'dir_to_{dir,file}' test datasets

Branches

Unknown

Tags

Unknown

Event Timeline

haltode committed rDGRPH63dc317c44bb: api: server: suppress unchecked cast warning (authored by haltode).May 19 2019, 8:20 AM

Changes (2)

Path

Size

api/

server/

src/

main/

java/

org/

softwareheritage/

graph/

rDGRPH63dc317c44bb

api/server/pom.xml

Loading...

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

Loading...