diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-02-19 17:13:55 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-02-19 17:13:55 +0100 |
| commit | e21ec96873bf60072414369bc96e4c076a450235 (patch) | |
| tree | 9ca013ffe130223947e5d4fa186d7bfcf4170959 /docs/reference/focus_80th.html | |
| parent | 4e99ae029638a3720eba97b28bd7de3129a727ce (diff) | |
Add grImport to Suggests:
Because chent which in turn suggests grImport is loaded from github
which obviously does not pull grImport
Diffstat (limited to 'docs/reference/focus_80th.html')
0 files changed, 0 insertions, 0 deletions