infra/plugin/notes
2017-01-31 17:08:08 +01:00
..
notes.html speaker layouts in server side notes plugin 2016-09-21 14:10:45 +02:00
notes.js improved fragment notes support #1636 2017-01-31 17:08:08 +01:00