1
0
mirror of https://github.com/wjwwood/serial.git synced 2026-01-22 19:54:57 +08:00

try to fix catkin_lint error: 'unknown boost'

This commit is contained in:
Augustin Manecy 2021-11-09 13:29:18 +01:00
parent 2db97684e5
commit f4ab978062

3
deps.repos Normal file
View File

@ -0,0 +1,3 @@
apt:
- libboost-dev