search

graphia-app / graphia

A visualisation tool for the creation and analysis of graphs
https://graphia.app
233 stars 20 forks source link

include missing standard header #53

Closed nsajko closed 2 years ago

nsajko commented 2 years ago

size_t being undefined broke build