summaryrefslogtreecommitdiff
path: root/dggui
diff options
context:
space:
mode:
authorAndré Nusser <anusser@mpi-inf.mpg.de>2021-02-13 12:25:50 +0100
committerBent Bisballe Nyeng <deva@aasimon.org>2023-02-19 17:16:47 +0100
commit74b0dfe2d80b21b31a1206e22d507f32c33e4b70 (patch)
tree13320a196aa69e3ef0295f25b2a8891493bc3400 /dggui
parent1697a5793bb6c828fccccefce9ac2ea686f15512 (diff)
Small cleaning up and comment.
Diffstat (limited to 'dggui')
0 files changed, 0 insertions, 0 deletions