[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Guile-commits] branch wip-source-info deleted (was e0dda25)

From: Andy Wingo
Subject: [Guile-commits] branch wip-source-info deleted (was e0dda25)
Date: Thu, 24 Mar 2016 20:00:06 +0000

wingo pushed a change to branch wip-source-info
in repository guile.

       was  e0dda25   Broken commit that propagates source

This change permanently discards the following revisions:

  discards  e0dda25   Broken commit that propagates source
  discards  d4c4aac   Better source tracking in psyntax.scm
  discards  0099407   `read' annotates non-head pairs of lists with source 

reply via email to

[Prev in Thread] Current Thread [Next in Thread]