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
798cffa9f4
dotfiles
/
fish
/
.config
/
fish
/
functions
/
coqtop.fish
4 lines
44 B
Fish
Raw
Blame
History
function
coqtop
rlwrap
coqtop
$argv
end
Reference in New Issue
View Git Blame
Copy Permalink