summaryrefslogtreecommitdiff
path: root/doc/man/ouroboros_fini.3
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-04-13 10:18:08 +0000
committerSander Vrijders <sander.vrijders@ugent.be>2017-04-13 10:18:08 +0000
commitdf141f1ccff7edac4873845855d605ef70057fae (patch)
treefb86f87679dda03cc53e06d9b0c6d3ee0ef26751 /doc/man/ouroboros_fini.3
parent72c28d6173ade511e9dc6969e0fc66db2dbba38a (diff)
parent21187cdf04f6b6697064430aac68dcf795923943 (diff)
downloadouroboros-df141f1ccff7edac4873845855d605ef70057fae.tar.gz
ouroboros-df141f1ccff7edac4873845855d605ef70057fae.zip
Merged in dstaesse/ouroboros/be-ap_init (pull request #480)
include, lib: Rename ap_init/ap_fini
Diffstat (limited to 'doc/man/ouroboros_fini.3')
-rw-r--r--doc/man/ouroboros_fini.31
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/man/ouroboros_fini.3 b/doc/man/ouroboros_fini.3
new file mode 100644
index 00000000..d525d287
--- /dev/null
+++ b/doc/man/ouroboros_fini.3
@@ -0,0 +1 @@
+.so ouroboros_init.3