changed filenames of talk
This commit is contained in:
parent
585a70b374
commit
629c2a6489
|
@ -33,8 +33,8 @@
|
||||||
</p>
|
</p>
|
||||||
</abstract>
|
</abstract>
|
||||||
<presentor>Kannan Vijayan</presentor>
|
<presentor>Kannan Vijayan</presentor>
|
||||||
<thumbnail file="vijayan-day-1-thumb-small.jpg" />
|
<thumbnail file="vijayan-type-inference-thumb-small.jpg" />
|
||||||
<mediafile file="vijayan-day-1.mp4" type="Talk (x264)" />
|
<mediafile file="vijayan-type-inference.mp4" type="Talk (x264)" />
|
||||||
</mediaitem>
|
</mediaitem>
|
||||||
|
|
||||||
<mediaitem title="SAT and SMT solvers">
|
<mediaitem title="SAT and SMT solvers">
|
||||||
|
|
Loading…
Reference in New Issue