Small fix.
tree4888caa5956a6f6d653437add7841c67842dece7
-rw-r--r-- 151 .gitignore
-rw-r--r-- 15122 COPYING
-rw-r--r-- 854 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
-rw-r--r-- 10307 doxygen-conf
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 - tests
drwxr-xr-x - tmp
drwxr-xr-x - use_case