Merge "Push to 1.3 and changing unofficial and nightly naming" into jb4.2
tree: 47a19f5eeed57e26c4defe6e8840f96570e6418a
  1. config/
  2. overlay/
  3. prebuilt/
  4. proprietary/
  5. tools/
  6. vendorsetup.sh