diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2018-11-23 20:45:04 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2018-11-23 20:45:04 +0100 |
commit | 5df9ef5f76218938777033afd4ed3e893aac0356 (patch) | |
tree | a6b2a25dc41fd8d981ff61cb8f026243f21bc87e /docs/reference | |
parent | 72088cc350626ac6c78d3a3cd323b6c1f6a99bf5 (diff) |
Fix namespace declaration
Diffstat (limited to 'docs/reference')
0 files changed, 0 insertions, 0 deletions