diff options
| author | Anton Khirnov <anton@khirnov.net> | 2018-12-04 12:10:35 +0100 |
|---|---|---|
| committer | Anton Khirnov <anton@khirnov.net> | 2018-12-04 12:10:35 +0100 |
| commit | 153529400c2267c796bfc720ec7e8bfcddd98f43 (patch) | |
| tree | ad71806ba98d82cc86d8241410bf1f43f63074d6 /libthreadpool.v | |
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..e8fe7b5 --- /dev/null +++ b/libthreadpool.v @@ -0,0 +1,4 @@ +LIBTHREADPOOL_1 { + global: tp_*; + local: *; +}; |