mirror of
https://gitlab.uni-freiburg.de/opensourcevdi/spice-protocol
synced 2025-12-26 14:18:31 +00:00
There is a standard for integer types (i.e. uint32_t) which we're using at some places, but not others. Lets use it everywhere. |
||
|---|---|---|
| spice | ||
| COPYING | ||