|
From: | Andy Wingo |
Subject: | [Guile-commits] GNU Guile branch, wip-rtl, deleted. v2.0.5-951-gfd3bf7d |
Date: | Mon, 27 May 2013 06:09:23 +0000 |
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GNU Guile". http://git.savannah.gnu.org/cgit/guile.git/commit/?id=0000000000000000000000000000000000000000 The branch, wip-rtl has been deleted was fd3bf7d4a007077ff7e695216e4e2b4cc6ce56e2 ----------------------------------------------------------------------- fd3bf7d4a007077ff7e695216e4e2b4cc6ce56e2 procedure-properties for RTL functions ----------------------------------------------------------------------- hooks/post-receive -- GNU Guile
[Prev in Thread] | Current Thread | [Next in Thread] |