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 /vignettes/web_only/mkin_benchmarks.rda | |
parent | 8551186f8968a80c801efd91f5dcfb61f12a231e (diff) |
Change dev version label to info color
instead of the orange danger color.
Diffstat (limited to 'vignettes/web_only/mkin_benchmarks.rda')
-rw-r--r-- | vignettes/web_only/mkin_benchmarks.rda | bin | 929 -> 930 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/vignettes/web_only/mkin_benchmarks.rda b/vignettes/web_only/mkin_benchmarks.rda Binary files differindex c38cd1ea..cc08f7ad 100644 --- a/vignettes/web_only/mkin_benchmarks.rda +++ b/vignettes/web_only/mkin_benchmarks.rda |