Don't call installed package IDs 'package IDs'; they're different.
authorEdward Z. Yang <ezyang@cs.stanford.edu>
Mon, 28 Jul 2014 14:26:07 +0000 (15:26 +0100)
committerEdward Z. Yang <ezyang@cs.stanford.edu>
Mon, 28 Jul 2014 14:26:07 +0000 (15:26 +0100)
commita62c3454e29fc3a90077d56749b4d9d9b8b5db9c
treedc49a739c59369834c9d84ec96522830778fad7f
parent546029e4da13592b2f503805c16b7fdfc6c89725
Don't call installed package IDs 'package IDs'; they're different.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
docs/users_guide/packages.xml