diff options
author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-04-10 15:36:28 +0200 |
---|---|---|
committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-04-10 19:35:41 +0200 |
commit | 3ba111f2f93dfe6fa4a7db3d8778234fd287d134 (patch) | |
tree | 32beec2b2b50e148aeee4b4e87eeb0d59ea2fef1 /doc/man/flow_dealloc.3 | |
parent | a3d550ff972121641562d375f75bcf188fc7fe59 (diff) | |
download | ouroboros-3ba111f2f93dfe6fa4a7db3d8778234fd287d134.tar.gz ouroboros-3ba111f2f93dfe6fa4a7db3d8778234fd287d134.zip |
doc: Add man pages for flow_allocation
This commit contains only the sources, correct installation requires
gzip and copying the files to /usr/local/man/man3/flow_alloc.3.gz. We
need to have a look at integrating this in the build system in an
efficient way.
Diffstat (limited to 'doc/man/flow_dealloc.3')
-rw-r--r-- | doc/man/flow_dealloc.3 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/man/flow_dealloc.3 b/doc/man/flow_dealloc.3 new file mode 100644 index 00000000..8b1b6963 --- /dev/null +++ b/doc/man/flow_dealloc.3 @@ -0,0 +1 @@ +.so flow_alloc.3 |