Это старая версия документа!


Indexmenu Plugin: If you use the 'js'-option of the indexmenu plugin, you have to disable the 'defer_js'-setting. This setting is temporary, in the future the indexmenu plugin will be improved.

Осенний семестр 2018-2019 уч. года

study/fall2018.1534942096.txt.gz · Последнее изменение: 2018/08/22 15:48 — asl
Наверх
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0