Renaming /doc to /docs for use with GitHub Pages
[jpf-core.git] / docs / graphics / jpf-abstractions.svg
docs/graphics/jpf-abstractions.svg