Siteshwar Vashisht 379cf3d249 Converted tabs to spaces in webconfig script		2013-07-06 21:09:20 +05:30
..
sample_prompts	Slightly modified this theme to match robbyrussel	2013-05-24 23:18:24 -07:00
delete.png	Implemented history deletion from fish_config	2012-07-27 00:31:00 -07:00
index.html	Formatting	2013-01-16 14:50:08 -08:00
jquery.js	Implemented history deletion from fish_config	2012-07-27 00:31:00 -07:00
webconfig.py	Converted tabs to spaces in webconfig script	2013-07-06 21:09:20 +05:30