git://git.jankratochvil.net / nethome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c23514) | patch
$HOME/.bash_profile.local is now also optionally executed
authorshort <>
Tue, 9 Oct 2001 21:56:57 +0000 (21:56 +0000)
committershort <>
Tue, 9 Oct 2001 21:56:57 +0000 (21:56 +0000)
commit16aea5ed1de79a99447db48c0ee14c060b1f806c
treee7f398c9f8fb96541852797e49c6c25948e845fdtree
parent8c2351422f3bda5883994236e1bdb1cb1ae9a3b9commit | diff
$HOME/.bash_profile.local is now also optionally executed
.bash_profile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.