|
From: | Andy Wingo |
Subject: | [Guile-commits] GNU Guile branch, wip-rtl-metadata, deleted. v2.1.0-31-g3e28111 |
Date: | Sun, 09 Jun 2013 22:01:13 +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-metadata has been deleted was 3e28111698d13a28eb9d6980aafa28fc1dc8de40 ----------------------------------------------------------------------- 3e28111698d13a28eb9d6980aafa28fc1dc8de40 procedure-properties for RTL functions ----------------------------------------------------------------------- hooks/post-receive -- GNU Guile
[Prev in Thread] | Current Thread | [Next in Thread] |