2 commits

Author	SHA1	Message	Date
Andreas Gohr	e1fee95368	SPR-797 fix ID uniqueness ... As explained on https://www.dokuwiki.org/devel:javascript#using_ids IDs may not clash with headlines. To avoid that all IDs have to use two subsequent underscores.	2017-02-13 16:53:06 +01:00
Jana Deutschländer	5671e6e5e8	merge jde_bar_search and bar_search branch	2017-02-09 16:48:46 +01:00