projects
/
~bandali
/
bndl.org
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
add mmath page (wip)
2019-04-23
Amin Bandali
redesign and major overhaul
commit
|
commitdiff
|
tree
2019-02-28
Amin Bandali
change base url back to aminb.org
commit
|
commitdiff
|
tree
2019-02-23
Amin Bandali
update base url
commit
|
commitdiff
|
tree
2019-02-23
Amin Bandali
update personal/general email
commit
|
commitdiff
|
tree
2019-01-12
Amin Bandali
update home page and colophon
commit
|
commitdiff
|
tree
2019-01-07
Amin Bandali
TOOD: /projects page
commit
|
commitdiff
|
tree
2019-01-07
Amin Bandali
update git links
commit
|
commitdiff
|
tree
2019-01-05
Amin Bandali
update (file-) Local Variables for latest ox-hugo
commit
|
commitdiff
|
tree
2019-01-02
Amin Bandali
update current research focus
commit
|
commitdiff
|
tree
2019-01-02
Amin Bandali
Revert "more small colophon changes"
commit
|
commitdiff
|
tree
2019-01-02
Amin Bandali
more small colophon changes
commit
|
commitdiff
|
tree
2019-01-02
Amin Bandali
small colophon updates
commit
|
commitdiff
|
tree
2019-01-02
Amin Bandali
tweak punctuation
commit
|
commitdiff
|
tree
2019-01-02
Amin Bandali
update /now
commit
|
commitdiff
|
tree
2019-01-02
Amin Bandali
add projects page (placeholder for cgit)
commit
|
commitdiff
|
tree
2018-12-11
Amin Bandali
Revert "update personal email"
commit
|
commitdiff
|
tree
2018-12-06
Amin Bandali
update personal email
commit
|
commitdiff
|
tree
2018-12-06
Amin Bandali
delete old stuff from previous version of the site
commit
|
commitdiff
|
tree
2018-11-27
Amin Bandali
add GNU Inside badge
commit
|
commitdiff
|
tree
2018-11-21
Amin Bandali
add my current and previous Hackage accounts
commit
|
commitdiff
|
tree
2018-11-11
Amin Bandali
update publications
commit
|
commitdiff
|
tree
2018-11-05
Amin Bandali
bump Hugo to 0.50
commit
|
commitdiff
|
tree
2018-11-05
Amin Bandali
long overdue colophon update
commit
|
commitdiff
|
tree
2018-11-05
Amin Bandali
update matrix username
commit
|
commitdiff
|
tree
2018-10-28
Amin Bandali
add /gpg and update /contact
commit
|
commitdiff
|
tree
2018-10-17
Amin Bandali
update source url and themes/divine to fix commit link...
commit
|
commitdiff
|
tree
2018-10-17
Amin Bandali
update themes/divine url
commit
|
commitdiff
|
tree
2018-10-17
Amin Bandali
whoops, forgot to update sources entry
commit
|
commitdiff
|
tree
2018-10-17
Amin Bandali
updates
commit
|
commitdiff
|
tree