diff -r d4520e6f1c45 -r 7890bee65275 YASnippet/publidoc-mode/publidoc_table --- /dev/null jeu. janv. 01 00:00:00 1970 +0000 +++ b/YASnippet/publidoc-mode/publidoc_table mer. déc. 25 17:53:53 2013 +0100 @@ -0,0 +1,20 @@ +# name: