projects / ~bandali / bndl.org / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
mmath: better styling for abstract and license
2019-05-07 Amin Bandaliupdate index: actually haven’t done any Rust in a while
 commit | commitdiff | tree
2019-05-07 Amin Bandaliremove old license
 commit | commitdiff | tree
2019-05-07 Amin Bandalibuild manifest: break long line
 commit | commitdiff | tree
2019-05-07 Amin Bandalibuild manifest: exclude .git subdir
 commit | commitdiff | tree
2019-05-07 Amin Bandalire-add sourcehut build manifest
 commit | commitdiff | tree
2019-05-05 Amin Bandaliremove the GNU inside banner, at least for now
 commit | commitdiff | tree
2019-04-23 Amin Bandaliadd presentations
 commit | commitdiff | tree
2019-04-23 Amin Bandaliredesign and major overhaul
 commit | commitdiff | tree
2019-02-28 Amin Bandalichange base url back to aminb.org
 commit | commitdiff | tree
2019-02-23 Amin Bandaliupdate base url
 commit | commitdiff | tree
2019-02-23 Amin Bandaliupdate personal/general email
 commit | commitdiff | tree
2019-01-12 Amin Bandaliupdate home page and colophon
 commit | commitdiff | tree
2019-01-07 Amin BandaliTOOD: /projects page
 commit | commitdiff | tree
2019-01-07 Amin Bandaliupdate git links
 commit | commitdiff | tree
2019-01-05 Amin Bandaliupdate (file-) Local Variables for latest ox-hugo
 commit | commitdiff | tree
2019-01-02 Amin Bandaliupdate current research focus
 commit | commitdiff | tree
2019-01-02 Amin BandaliRevert "more small colophon changes"
 commit | commitdiff | tree
2019-01-02 Amin Bandalimore small colophon changes
 commit | commitdiff | tree
2019-01-02 Amin Bandalismall colophon updates
 commit | commitdiff | tree
2019-01-02 Amin Bandalitweak punctuation
 commit | commitdiff | tree
2019-01-02 Amin Bandaliupdate /now
 commit | commitdiff | tree
2019-01-02 Amin Bandaliadd projects page (placeholder for cgit)
 commit | commitdiff | tree
2018-12-11 Amin BandaliRevert "update personal email"
 commit | commitdiff | tree
2018-12-06 Amin Bandaliupdate personal email
 commit | commitdiff | tree
2018-12-06 Amin Bandalidelete old stuff from previous version of the site
 commit | commitdiff | tree
2018-11-27 Amin Bandaliadd GNU Inside badge
 commit | commitdiff | tree
2018-11-21 Amin Bandaliadd my current and previous Hackage accounts
 commit | commitdiff | tree
2018-11-11 Amin Bandaliupdate publications
 commit | commitdiff | tree
2018-11-05 Amin Bandalibump Hugo to 0.50
 commit | commitdiff | tree
2018-11-05 Amin Bandalilong overdue colophon update
 commit | commitdiff | tree
2018-11-05 Amin Bandaliupdate matrix username
 commit | commitdiff | tree
2018-10-28 Amin Bandaliadd /gpg and update /contact
 commit | commitdiff | tree
2018-10-17 Amin Bandaliupdate source url and themes/divine to fix commit link...
commit | commitdiff | tree
2018-10-17 Amin Bandaliupdate themes/divine url
 commit | commitdiff | tree
2018-10-17 Amin Bandaliwhoops, forgot to update sources entry
 commit | commitdiff | tree
2018-10-17 Amin Bandaliupdates
 commit | commitdiff | tree
Sources for my personal site