Index of /dev/reference 
      Name                       Last modified       Size  Description


[DIR] Parent Directory           31-Oct-2012 18:12      -  
[TXT] ANSI_escape_sequences.html 30-Oct-2012 19:28     7k  
[TXT] ansi.html                  02-Aug-2011 14:31     2k  
[TXT] dos.html                   24-Mar-2011 12:40     2k  
[TXT] ghost_switches.txt         27-Oct-2008 11:59    12k  
[DIR] data_structures/           25-Aug-2006 01:17      -  
[TXT] javascript.html            10-Jan-2006 17:29     1k  
[DIR] clearcase_v5.0/            18-Aug-2005 17:10      -  
[DIR] clearcase_v4.0/            18-Aug-2005 16:43      -
Apache/1.3.33 Server at www.paperlined.org Port 80