Merge branch 'master' into pesa
tree44a97668601e95bf0734a5dd50fa92cb343af984
-rw-r--r-- 77 .gitignore
-rw-r--r-- 15122 COPYING
-rw-r--r-- 686 TODO
drwxr-xr-x - activity_diagram
drwxr-xr-x - class_diagram
drwxr-xr-x - doc
drwxr-xr-x - network_diagram
-rw-r--r-- 859 newfile.skel
-rw-r--r-- 4120 protocol-schema.xml
drwxr-xr-x - releases
drwxr-xr-x - tmp
drwxr-xr-x - use_case