diff options
| author | Richard W.M. Jones <rjones@redhat.com> | 2010-09-26 19:34:46 +0100 |
|---|---|---|
| committer | Richard W.M. Jones <rjones@redhat.com> | 2010-09-26 19:35:33 +0100 |
| commit | a7070682932717f318f57f9aca6188a954a7e9aa (patch) | |
| tree | 8b710263c2604acb278be56c5e218b8dcde67664 /generator/generator_python.ml | |
| parent | d72a617a262e000ce7bc97838ad1f0d640dc66ec (diff) | |
Document ambiguity between devices and paths in API.
Diffstat (limited to 'generator/generator_python.ml')
0 files changed, 0 insertions, 0 deletions