This website requires JavaScript.
Explore
Help
Sign In
sanchayanmaity
/
dotfiles
Watch
1
Star
0
Fork
You've already forked dotfiles
0
Code
Issues
Pull requests
Packages
Projects
Releases
Wiki
Activity
1477
commits
1
branch
0
tags
12
MiB
2af3965179
Commit graph
2 commits
Author
SHA1
Message
Date
Sanchayan Maity
478fede9e4
fish: Clean up with fish_indent
2022-04-12 18:27:01 +05:30
Sanchayan Maity
e3d3e8b986
fish: functions: Add an alias to coqtop
...
Wrap coqtop in rlwrap and create an alias for that.
2022-01-07 20:39:57 +05:30