Skip to content
This repository has been archived by the owner on Sep 23, 2020. It is now read-only.

Tiny bug in documentation. #4

Closed
wants to merge 1 commit into from
Closed

Conversation

oldpatricka
Copy link
Contributor

There was a fake pre tag in the appendix.

@labisso
Copy link
Contributor

labisso commented Nov 5, 2010

Rebased onto master: 183b6b2

Thanks Patrick

This pull request was closed.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants