summaryrefslogtreecommitdiff
path: root/d/tools/doc
diff options
context:
space:
mode:
authorschodet2005-07-23 12:12:49 +0000
committerschodet2005-07-23 12:12:49 +0000
commitc3550a079957aa01633ed32632a5229ae4edb4c3 (patch)
tree011d76ce67a5585f6ba65fe6edbc7305c715212c /d/tools/doc
parent3742cbc92d0203080a57b93ca56cf6dc116e818f (diff)
Ajout de fichiers pour vim.
Diffstat (limited to 'd/tools/doc')
-rw-r--r--d/tools/doc/info.txt5
1 files changed, 5 insertions, 0 deletions
diff --git a/d/tools/doc/info.txt b/d/tools/doc/info.txt
index c910251..d562963 100644
--- a/d/tools/doc/info.txt
+++ b/d/tools/doc/info.txt
@@ -44,6 +44,11 @@ Pour vim et pour coder, quelques commandes :
Y'en a plein d'autre mais si vous utilisez vim, elles viendront vite.
+*** Plugin Efrei Robotique
+
+Allez faire un tour dans |d/tools/vim| pour avoir une config toute faite pour
+Efrei Robotique.
+
* Compilateurs
** Pour le C