Added setting in ServerSettings
tree16a5933d9c230a326c22136568bf20fa78ee192d
-rw-r--r-- 77 .gitignore
-rw-r--r-- 15122 COPYING
-rw-r--r-- 723 TODO
drwxr-xr-x - activity_diagram
drwxr-xr-x - ai_diagram
drwxr-xr-x - class_diagram
drwxr-xr-x - core_test_diagram
drwxr-xr-x - doc
drwxr-xr-x - gui_diagram
drwxr-xr-x - network_diagram
drwxr-xr-x - network_test_diagram
-rw-r--r-- 859 newfile.skel
drwxr-xr-x - releases
drwxr-xr-x - src
drwxr-xr-x - tmp
drwxr-xr-x - use_case