commit | c1d7dc6361af36379a82015890a56c60b7d514dd | [log] [tgz] |
---|---|---|
author | Javier Jardón <jjardon@gnome.org> | Mon Apr 23 14:16:01 2018 +0200 |
committer | Javier Jardón <jjardon@gnome.org> | Mon Apr 23 14:35:56 2018 +0200 |
tree | d30cca10bfad7dff6cc930f8c76b1688108e50fb | |
parent | 78133bcf6cbec0471aac15852c5fa736d56cabd8 [diff] |
core_framework.rst: No need to duplicate the autogenerated index