Ignore REPL history file
Like in #1732, Docker images can consider project directoy as $HOME
Description
Description
Details
Details
- Committed
Julien CROUZET <contact@juliencrouzet.fr> Nov 5 2015, 16:17 - Pushed
aubort Jul 2 2018, 16:12 - Parents
- rGITIGNOREee80a54c2161: Merge pull request #1737 from jutoft/master
- Branches
- Unknown
- Tags