diff options
| author | sapics <gv.nishino@gmail.com> | 2020-04-13 09:09:11 +0200 |
|---|---|---|
| committer | sapics <gv.nishino@gmail.com> | 2020-04-13 09:09:11 +0200 |
| commit | bbe58acbefcbe24afddd7f61cf61fda72632d137 (patch) | |
| tree | 6f9546adf72e94f0d9b41a941fcfd108eeefad47 /user_guide_src | |
| parent | 608bdc09ed9d30ecc530f418523615cb0b4d81d9 (diff) | |
Remove deprecated option "dev"
dev packages are installed by default now
Diffstat (limited to 'user_guide_src')
0 files changed, 0 insertions, 0 deletions