wip
This commit is contained in:
parent
0b1b15cadb
commit
dc9b6f4373
3 changed files with 6 additions and 0 deletions
|
|
@ -8,3 +8,7 @@ alias gp='git pull'
|
|||
|
||||
# opam configuration
|
||||
# source /home/joachim/.opam/opam-init/init.fish > /dev/null 2> /dev/null; or true
|
||||
|
||||
function launch
|
||||
$argv & ; disown; exit
|
||||
end
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue