docs: fix filename 35/9635/1
[doctor.git] / docs / design /
drwxr-xr-x   ..
-rw-r--r-- 869 index.rst
-rw-r--r-- 8593 notification-alarm-evaluator.rst
-rw-r--r-- 8102 report-host-fault-to-update-server-state-immediately.rst