projects / ~bandali / bndl.org / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
slight tweaks
2019-11-30 Amin Bandalislight tweaks
 commit | commitdiff | tree
2019-11-30 Amin Bandaliavoid repeating the site url
 commit | commitdiff | tree
2019-11-30 Amin Bandaliadd static contact page
 commit | commitdiff | tree
2019-11-30 Amin Bandalireplace uses of `a' with my more convenient `aa' wrapper
 commit | commitdiff | tree
2019-11-29 Amin Bandaliadd public inbox notice at the end of posts, simplify...
commit | commitdiff | tree
2019-11-29 Amin Bandaliadd static license page
 commit | commitdiff | tree
2019-11-29 Amin Bandalitweak wording on index, add rss, adjust feed file-names
 commit | commitdiff | tree
2019-11-29 Amin Bandalivarious style tweaks
 commit | commitdiff | tree
2019-11-29 Amin Bandalibegin work on porting to haunt
 commit | commitdiff | tree
2019-11-21 Amin Bandalicommit another bunch of changes
 commit | commitdiff | tree
2019-09-14 Amin Bandalicommit recent changes
 commit | commitdiff | tree
2019-08-29 Amin Bandaliadd now page
 commit | commitdiff | tree
2019-08-18 Amin Bandaliexperiment with linking h1
 commit | commitdiff | tree
2019-08-17 Amin Bandalitweak publication styles
 commit | commitdiff | tree
2019-08-17 Amin Bandaliadd “on the side” bit
 commit | commitdiff | tree
2019-08-17 Amin Bandalititle-case <title>s
 commit | commitdiff | tree
2019-08-17 Amin Bandaliadd publications page
 commit | commitdiff | tree
2019-08-14 Amin Bandaliuse bandali.eu.org
 commit | commitdiff | tree
2019-08-05 Amin Bandaliadd wip cv and research interests pages
 commit | commitdiff | tree
2019-08-05 Amin Bandalimake main narrower
 commit | commitdiff | tree
2019-07-31 Amin Bandalibe more or less consistant with curly quotes
 commit | commitdiff | tree
2019-07-31 Amin Bandaliwrite in “normal” capitalization, but apply lowercase...
commit | commitdiff | tree
2019-07-31 Amin Bandaliadd blurb about me to front page
 commit | commitdiff | tree
2019-07-31 Amin Bandaliadjust line-height
 commit | commitdiff | tree
2019-07-31 Amin Bandaliadd custom 404 page
 commit | commitdiff | tree
2019-07-31 Amin Bandalifix some spacing issues
 commit | commitdiff | tree
2019-07-31 Amin Bandalisimplify and use css grids
 commit | commitdiff | tree
2019-07-31 Amin Bandalistart next iteration of the site, now available at...
commit | commitdiff | tree
2019-07-20 Amin Bandaliupdate twttr handle
 commit | commitdiff | tree
2019-07-19 Amin Bandaliupdate accounts
 commit | commitdiff | tree
2019-07-19 Amin Bandaliback to using bandali@ instead of mab@ as my primary...
commit | commitdiff | tree
2019-07-19 Amin BandaliRevert "change of username from amin to mab"
 commit | commitdiff | tree
2019-06-30 Amin Bandaliadd separate other interests section
 commit | commitdiff | tree
2019-06-30 Amin Bandaliupdate contact page wording
 commit | commitdiff | tree
2019-06-30 Amin Bandaliremove vertical padding around .btable td
 commit | commitdiff | tree
2019-06-30 Amin Bandalivarious tweaks
 commit | commitdiff | tree
2019-06-12 Amin Bandalibanner: fix photo filename and add title
 commit | commitdiff | tree
2019-06-10 Amin Bandalienable and use SSI for ‘common’ bits used in all pages
 commit | commitdiff | tree
2019-05-18 Amin Bandalicontact: add link to my LibrePlanet user profile
 commit | commitdiff | tree
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