doc: Use RELEASE_DATE to set PDF timestamps using faketime
[fw/altos] / src / telemini-v2.0 / .sdcdbrc
1 --directory=../cc1111:../product:../kernel:../drivers:.
2