Delete $VM_NAME and alrms with doctor user creds 15/17615/2
[doctor.git] / docs / design /
drwxr-xr-x   ..
-rw-r--r-- 895 index.rst
-rw-r--r-- 8592 notification-alarm-evaluator.rst
-rw-r--r-- 2260 port-status-update.rst
-rw-r--r-- 8102 report-host-fault-to-update-server-state-immediately.rst