diff options
| author | Blaž Hrastnik | 2021-05-08 06:39:42 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-05-08 06:39:42 +0000 |
| commit | d4d5e88adec6e5996cdcf0a5d17e742796c6239d (patch) | |
| tree | c6b622cd49def10cc153f30feee66521d61b8bd7 /doc | |
| parent | 1be8b2005d41dc5b396e2b46fbc83dc98c3e0416 (diff) | |
Show a message if no definition was found.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions