drb_port.md in vedeu-0.8.32

- old
+ new

@@ -1,6 +1,10 @@
 Sets the port of the DRb server.
 
+    # Set:
     Vedeu.configure do
       drb_port 12345
       # ...
     end
+
+    # Get:
+    Vedeu.config.drb_port