docs: Debian and Ubuntu are now separate distros.
authorRichard Jones <rjones@redhat.com>
Mon, 15 Nov 2010 22:20:51 +0000 (22:20 +0000)
committerRichard Jones <rjones@redhat.com>
Mon, 15 Nov 2010 22:20:51 +0000 (22:20 +0000)
commit47af6aaab8f2dde736951b4e549c2638d942dae5
tree9b5c6f3895b67fa57ba6c7012ded1ab3deb5af07
parent3e766f745dc6cf351e56d9955f580152ddb9110a
docs: Debian and Ubuntu are now separate distros.
generator/generator_actions.ml