diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-04-13 10:18:08 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-04-13 10:18:08 +0000 |
| commit | df141f1ccff7edac4873845855d605ef70057fae (patch) | |
| tree | fb86f87679dda03cc53e06d9b0c6d3ee0ef26751 /doc/man/ouroboros_fini.3 | |
| parent | 72c28d6173ade511e9dc6969e0fc66db2dbba38a (diff) | |
| parent | 21187cdf04f6b6697064430aac68dcf795923943 (diff) | |
| download | ouroboros-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.3 | 1 |
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 |