8 Commits (c6afb4d1a08a61787dfb941bb76e40b75a61be93)

Author SHA1 Message Date
João Matos 2df1c9bdb9 Fixed typo in developers manual. 8 years ago
Joao Matos 4508fe65dc Some improvements to the dev and user's manual. 8 years ago
Abdur Rehman 01860ad1bb DevManual.md: fix grammar 9 years ago
Evgeny Nepomnyashchiy 33595d50aa Fixed typo 9 years ago
triton 8dbc5b96b8 Remove outdated documentation. 11 years ago
Friedrich von Never f8b97091a0 Fix formatting in DevManual.md 11 years ago
Stephen Kennedy d6ecd455c6 Fix some typos in the docs 12 years ago
triton bb5d95fc99 Update the documentation a bit. 12 years ago