diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-05-27 07:57:10 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-05-27 07:57:10 +0200 |
| commit | f26d5082604402de3604e494e30fe5a2f030aca3 (patch) | |
| tree | a180d5f345238a6e5d7f3966ca164a8743e6e62a /man/IORE.solution.Rd | |
| parent | 8551186f8968a80c801efd91f5dcfb61f12a231e (diff) | |
Change dev version label to info color
instead of the orange danger color.
Diffstat (limited to 'man/IORE.solution.Rd')
0 files changed, 0 insertions, 0 deletions