diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-08-29 13:11:43 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-29 13:11:43 +0000 |
| commit | da754467efab5194084cd8eeab4a48f89d6b925e (patch) | |
| tree | f6e8f9e732cc36f4f153e409b3f92cdd7c19dbae /doc/man/fqueue_destroy.3 | |
| parent | 00aeb6ee00efa98c7e2d6d9bebeb1c4799ba1705 (diff) | |
| parent | f6b898da88e06399aedbfec87296602aef5c09c2 (diff) | |
| download | ouroboros-da754467efab5194084cd8eeab4a48f89d6b925e.tar.gz ouroboros-da754467efab5194084cd8eeab4a48f89d6b925e.zip | |
Merged in dstaesse/ouroboros/be-fqueue (pull request #574)
dev: Revise fqueue API and add man pages
Diffstat (limited to 'doc/man/fqueue_destroy.3')
| -rw-r--r-- | doc/man/fqueue_destroy.3 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/man/fqueue_destroy.3 b/doc/man/fqueue_destroy.3 new file mode 100644 index 00000000..0e1f5f07 --- /dev/null +++ b/doc/man/fqueue_destroy.3 @@ -0,0 +1 @@ +.so fqueue.3 |