)]}'
{"doc/source/conf.py":[{"author":{"_account_id":6547,"name":"Andreas Jaeger","email":"jaegerandi@gmail.com","username":"jaegerandi"},"change_message_id":"3b02c1be526b17291e0f1f83fd000065d5310bd0","unresolved":false,"context_lines":[{"line_number":141,"context_line":""},{"line_number":142,"context_line":"# If not \u0027\u0027, a \u0027Last updated on:\u0027 timestamp is inserted at every page bottom,"},{"line_number":143,"context_line":"# using the given strftime format."},{"line_number":144,"context_line":"git_cmd \u003d \"git log --pretty\u003dformat:\u0027%ad, commit %h\u0027 --date\u003dlocal -n1\""},{"line_number":145,"context_line":"html_last_updated_fmt \u003d os.popen(git_cmd).read()"},{"line_number":146,"context_line":""},{"line_number":147,"context_line":"# If true, SmartyPants will be used to convert quotes and dashes to"},{"line_number":148,"context_line":"# typographically correct entities."}],"source_content_type":"text/x-python","patch_set":1,"id":"3f79a3b5_4fd539e5","line":145,"range":{"start_line":144,"start_character":1,"end_line":145,"end_character":48},"updated":"2018-10-02 10:45:18.000000000","message":"Why not remove it completely? WE add this (without commit) already as part of the theme. Is the commit important - then leave it in.","commit_id":"def7902118657177d5d722e4f9d5ce3347ab49b9"}]}