summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2017-01-29 17:55:02 +0100
committerMathieu Lirzin <mthl@gnu.org>2017-01-29 17:56:44 +0100
commit4d1f2d989d813ad2e11e34b62af00790c7fe49c0 (patch)
tree7c9e52bd6a8634807f74bc87605e3f795529d263 /doc
parentabd52046d5eefe9b7be8bc8ba04b2489cbe59ca5 (diff)
downloadcuirass-4d1f2d989d813ad2e11e34b62af00790c7fe49c0.tar
cuirass-4d1f2d989d813ad2e11e34b62af00790c7fe49c0.tar.gz
maint: Add a pointer to the manual in the README.
* README <Contributing>: Point to the corresponding section in the manual.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions