projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
1ad21d7
)
better section title
author
Ralf Jung
<post@ralfj.de>
Fri, 6 Dec 2019 10:45:55 +0000
(11:45 +0100)
committer
Ralf Jung
<post@ralfj.de>
Fri, 6 Dec 2019 10:45:55 +0000
(11:45 +0100)
research/publications.html
patch
|
blob
|
history
diff --git
a/research/publications.html
b/research/publications.html
index 2a691eb08f7078dc31bc4bb79db4003da1d0e83a..f8ae0b6ffe8b247efed6b40f1dffee362725f53a 100644
(file)
--- a/
research/publications.html
+++ b/
research/publications.html
@@
-100,7
+100,7
@@
slug: Publications
</li></ul>
</p>
-<h2>
Selected
Talks</h2>
+<h2>
Workshop
Talks</h2>
<h3>2019</h3>