projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
add rustc_layout(debug) post
[web.git]
/
research
/
publications.html
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>