diff scripts/docs-headings.py @ 6930:862e55888ff8

js: don't show number of members of groups when doing autocomplete This is done to make the database queries cheaper.
author domruf <dominikruf@gmail.com>
date Sun, 06 Aug 2017 12:36:57 +0200
parents 665dfa112f2c
children a188803df37e
line wrap: on
line diff