-
PPA is a Ubuntu-specific term, but we also support Debian and non-Ubuntu based distros. Use "repository" instead. Change-Id: I646f6986d230e0abed53e7ce561fe2c5b4e37753
0ef8bdd7
PPA is a Ubuntu-specific term, but we also support Debian and non-Ubuntu based distros. Use "repository" instead. Change-Id: I646f6986d230e0abed53e7ce561fe2c5b4e37753