End of the // eradication.

or was that p eradication?

// is no longer given any special status.  Names are
cleaned pretty much everywhere before being used,
multiple adjacent spashes are squashed into 1,
trailing slashes are removed.  Thus starting
a name with // is now a mistake.

Change-Id: I2dc5917533352fd9d211a9d1ab184e5cf2f8b56f
22 files changed
tree: 06ba60006d0c56ac9682b3fd85583b0898c7d8ca
  1. lib/
  2. profiles/
  3. runtimes/
  4. security/
  5. services/
  6. tools/