2019-07-01 | Amin Bandali | change deployment strategy |
commit | commitdiff | tree |
2019-07-01 | Amin Bandali | update gpg key again |
commit | commitdiff | tree |
2019-07-01 | Amin Bandali | update gpg key |
commit | commitdiff | tree |
2019-07-01 | Amin Bandali | small tweaks |
commit | commitdiff | tree |
2019-07-01 | Amin Bandali | update/fix my gnu address |
commit | commitdiff | tree |
2018-10-15 | Amin Bandali | update contact page |
commit | commitdiff | tree |
2018-10-14 | Amin Bandali | hopefully resolve build failures |
commit | commitdiff | tree |
2018-10-14 | Amin Bandali | update some usernames |
commit | commitdiff | tree |
2018-10-13 | Amin Bandali | update contact info |
commit | commitdiff | tree |