 Andrew Wood
|
85dd2603bf
|
Added DEVELOPERS.md.
|
2023-07-30 19:59:19 +01:00 |
|
|
Andrew Wood
|
7f3924db77
|
Added "make analyse" to run analysis tools on the source.
|
2023-07-28 22:28:07 +01:00 |
|
|
Andrew Wood
|
50c0b329c9
|
Moved NEWS and TODO to UTF-8 Markdown format, and linked them in from the README.
|
2023-07-16 00:00:19 +01:00 |
|
|
Andrew Wood
|
a9cef81657
|
Minor formatting corrections
|
2022-05-29 21:52:15 +01:00 |
|
|
Andrew Wood
|
cc95aa67a3
|
Renamed README to README.md and altered it to Markdown format; moved contributors from the README to docs/ACKNOWLEDGEMENTS.md
|
2022-05-29 21:45:13 +01:00 |
|