summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 8594579f8e4846e6b73de435d9414654a7c3e4d8 (plain) 
1
2
3
4
5

tags
*.pyc
*.so
*.c
*.sw?
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-03 07:54:51 +0000
2-36/+0 2018-06-10[zsh] Remove obsolete isabelle functionsRené 'Necoro' Neumann2-112/+0 2018-06-10Misc changesRené 'Necoro' Neumann3-0/+7 2018-06-10[git] Update email addressRené 'Necoro' Neumann1-1/+1 2018-06-10Enhance cci scriptRené 'Necoro' Neumann1-15/+12 2017-11-18Some windows setupRené 'Necoro' Neumann2-1/+6 2017-10-08[zsh] Use zcalc instead of bcRené 'Necoro' Neumann1-5/+4 2017-10-08[zsh] CalculatorRené 'Necoro' Neumann1-0/+8 2017-10-08Some vim changes.René 'Necoro' Neumann4-28/+17 2017-10-08Delete old stuff.René 'Necoro' Neumann5-71/+1