/docs/figures/
drwxr-xr-x [up]
-rw-r--r-- 2012-07-10 15:14 +0200 8796 error-conflicting.svg
-rw-r--r-- 2012-07-10 15:14 +0200 13991 error-extinct.svg
-rw-r--r-- 2012-07-10 15:14 +0200 7780 error-obsolete.svg
-rw-r--r-- 2012-07-10 15:14 +0200 11034 error-unstable.svg
-rw-r--r-- 2012-07-10 15:14 +0200 5643 example-1-update.svg
-rw-r--r-- 2012-07-10 15:14 +0200 9149 example-2-split.svg
-rw-r--r-- 2012-07-10 15:14 +0200 9335 simple-3-merge.svg
-rw-r--r-- 2012-07-10 15:14 +0200 12149 simple-4-reorder.svg
-rw-r--r-- 2012-07-10 15:14 +0200 7996 simple-5-delete.svg