docs/disco.rc
changeset 56 f0e3c123d506
parent 27 0539bca09f11
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/disco.rc	Mon Aug 20 22:49:24 2012 +0300
@@ -0,0 +1,3 @@
+
+module load disco
+