Rapptz ac00fcad77 Flatten genindex to not group names.
Also better width in the tables.
2019-06-30 18:59:19 -04:00
..
2019-06-29 02:34:11 -04:00