Skip to content

Update `sources.list`

Zhenghong Yurequested to merge
dev_update_sourceslist into master
  1. sources.list: ubuntu tuna 18.04 -> 20.04
  2. add eigen3 installment

Merge request reports