child 27:f59d389adcc4
parent 25:bab5df239765
26:8d301732c5cc
Anton Shestakov <av6@dwimlabs.net>, Mon, 21 Mar 2016 20:21:40 +0800
index: try to disconnect cleanly before browser tab/window is closed

/contrib/provision/roles/common/

.. drwxr-xr-x
defaults/ drwxr-xr-x files
files/ etc/apt/apt.conf.d drwxr-xr-x files
handlers/ drwxr-xr-x files
tasks/ drwxr-xr-x files
templates/ etc drwxr-xr-x files