diff options
author | Anton Khirnov <anton@khirnov.net> | 2019-01-11 12:50:30 +0100 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2019-01-11 12:50:30 +0100 |
commit | bb944f2958339e09a936c98f931c38e3fa3f8c5f (patch) | |
tree | d26e5d99ea08eb94a52f09f972bda1ce5af8e8fc /libthreadpool.v |
Initial commit.
Diffstat (limited to 'libthreadpool.v')
-rw-r--r-- | libthreadpool.v | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libthreadpool.v b/libthreadpool.v new file mode 100644 index 0000000..6597847 --- /dev/null +++ b/libthreadpool.v @@ -0,0 +1,4 @@ +LIBTHREADPOOL_2 { + global: tp_*; + local: *; +}; |