projects
/
~bandali
/
bndl.org
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
54623ca
)
whoops, forgot the paragraph tag
author
Amin Bandali
<bandali@gnu.org>
Sat, 14 Nov 2020 03:41:01 +0000
(22:41 -0500)
committer
Amin Bandali
<bandali@gnu.org>
Sat, 14 Nov 2020 03:41:01 +0000
(22:41 -0500)
index.m4
patch
|
blob
|
blame
|
history
diff --git
a/index.m4
b/index.m4
index
76414b1
..
04a3831
100644
(file)
--- a/
index.m4
+++ b/
index.m4
@@
-18,7
+18,7
@@
reliability</strong> through application of
My research areas of interest include programming languages, proof
assistants, and their type systems.</p>
My research areas of interest include programming languages, proof
assistants, and their type systems.</p>
-I am currently employed
+
<p>
I am currently employed
by <a href="//savoirfairelinux.com/en">Savoir-faire Linux</a> as a
Free Software Consultant, where I get to hack on various parts
of <a href="//jami.net">Jami</a>, work with the maintainers of Jami
by <a href="//savoirfairelinux.com/en">Savoir-faire Linux</a> as a
Free Software Consultant, where I get to hack on various parts
of <a href="//jami.net">Jami</a>, work with the maintainers of Jami
@@
-28,7
+28,7
@@
repositories of those distributions, and generally serve as a
community liaison between the Jami core development team and the wider
free software community around Jami. To be sure, the views or
opinions expressed on this site are solely my own, and do not
community liaison between the Jami core development team and the wider
free software community around Jami. To be sure, the views or
opinions expressed on this site are solely my own, and do not
-necessarily represent those of my employer or anyone else.
+necessarily represent those of my employer or anyone else.
</p>
<p>On the side, I
enjoy <a href="//stallman.org/articles/on-hacking.html">hacking</a>
<p>On the side, I
enjoy <a href="//stallman.org/articles/on-hacking.html">hacking</a>