diff options
| author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2017-12-16 11:27:29 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-12-17 13:21:23 +0100 |
| commit | d654c997f142b22e2529dc0fb9fab4f799f7ef56 (patch) | |
| tree | e131e17829375e2776c3f6b5081a8143f50a02e6 /src/tools/irm/irm_bind_program.c | |
| parent | 40348f65699706188c4f4ab15103789a9b559aa0 (diff) | |
| download | ouroboros-d654c997f142b22e2529dc0fb9fab4f799f7ef56.tar.gz ouroboros-d654c997f142b22e2529dc0fb9fab4f799f7ef56.zip | |
doc: Fix formatting in ouroboros man page
The ouroboros.8 man page contained some bad formatting symbols.
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'src/tools/irm/irm_bind_program.c')
0 files changed, 0 insertions, 0 deletions