adbrucker
/
logicalhacking-zsh
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
44 Commits 1 Branch 0 Tags 52 KiB
Commit Graph

3 Commits

Author SHA1 Message Date
Achim D. Brucker 8d16d4c1d7 Added SPDIX license identifier. 2017-12-04 22:50:11 +00:00
Achim D. Brucker af91d6faa3 Include Isabelle plugin in fpath. 2017-07-17 22:12:59 +01:00
Achim D. Brucker 47a0efea1c Initial commit. 2017-07-16 12:41:51 +01:00