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 /man/Extract.mmkin.Rd | |
| parent | 72088cc350626ac6c78d3a3cd323b6c1f6a99bf5 (diff) | |
Fix namespace declaration
Diffstat (limited to 'man/Extract.mmkin.Rd')
0 files changed, 0 insertions, 0 deletions