From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1851) id 25B7C3858D32; Tue, 26 Jul 2022 10:55:57 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 25B7C3858D32 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Martin Liska To: gcc-cvs@gcc.gnu.org Subject: [gcc/marxin/heads/sphinx-v7] (7 commits) sphinx,ada: port to Sphinx X-Act-Checkin: gcc X-Git-Author: Martin Liska X-Git-Refname: refs/users/marxin/heads/sphinx-v7 X-Git-Oldrev: 1318aec1dd7b23ef948b35a62d1ef79c48ed1f98 X-Git-Newrev: a7ca2989bc0f79b4de7ca005acd7b3bd3bc72a56 Message-Id: <20220726105557.25B7C3858D32@sourceware.org> Date: Tue, 26 Jul 2022 10:55:57 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 26 Jul 2022 10:55:57 -0000 The branch 'marxin/heads/sphinx-v7' was updated to point to: a7ca2989bc0... sphinx,ada: port to Sphinx It previously pointed to: 1318aec1dd7... sphinx,ada: port to Sphinx Diff: !!! WARNING: THE FOLLOWING COMMITS ARE NO LONGER ACCESSIBLE (LOST): ------------------------------------------------------------------- 1318aec... sphinx,ada: port to Sphinx 18fafb1... sphinx: port libgccjit to shared Sphinx 964ae29... sphinx: remove texinfo files 51112e3... sphinx: add tm.rst.in. 0466fbf... sphinx: support Sphinx in build system 48fbe37... sphinx: use tm.rst.in file in target macros 33eaf82... sphinx: port .def files to RST Summary of changes (added commits): ----------------------------------- a7ca298... sphinx,ada: port to Sphinx 83dcd4f... sphinx: port libgccjit to shared Sphinx edf4b45... sphinx: remove texinfo files 27a34e1... sphinx: add tm.rst.in. f5af502... sphinx: support Sphinx in build system b3ab8c9... sphinx: use tm.rst.in file in target macros dc08405... sphinx: port .def files to RST