summaryrefslogtreecommitdiff
path: root/src/rps/rps-test_util.h
diff options
context:
space:
mode:
authorJulius Bünger <buenger@mytum.de>2018-09-18 18:37:27 +0200
committerJulius Bünger <buenger@mytum.de>2018-09-18 18:37:27 +0200
commitc50386476c7a79efd87d4b1b36f9c740d74dd9f8 (patch)
tree2d59b35a62ac756b1ff155445b3e1520de0d4d80 /src/rps/rps-test_util.h
parentac741e1dd9ee1d8abe58a80688ad3765cdc866e8 (diff)
Remove redundant type definition
Diffstat (limited to 'src/rps/rps-test_util.h')
0 files changed, 0 insertions, 0 deletions