diff -r e01cbf23a88b -r f0e3c123d506 docs/disco.rc
--- /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
+