diff xml/en/docs/nginx_dtrace_pid_provider.xml @ 2366:81a39b7032fd

Removed obsolete symbol from devguide.
author Yaroslav Zhuravlev <yar@nginx.com>
date Thu, 11 Apr 2019 20:28:45 +0300
parents f024ac0ec5c7
children 438e5c551d67
line wrap: on
line diff