|
common.gitconfig
|
git: add git root alias
|
2026-03-25 14:25:30 +01:00 |
|
config
|
migrate dotfiles to this repository
|
2025-06-16 21:16:55 +02:00 |
|
ensimag.gitconfig
|
migrate dotfiles to this repository
|
2025-06-16 21:16:55 +02:00 |
|
ignore
|
migrate dotfiles to this repository
|
2025-06-16 21:16:55 +02:00 |
