source: @ 13115

Name Size Rev Age Author Last Change
branches 13096   10 years gz r13095 from trunk (kernel debugger fix)
release 13115   10 years rme asdf-install fixes from trunk (r13113, r13114)
tags 10618   11 years gb tag 1.2 release
trunk 13114   10 years rme SYSTEM-NAMESTRING: don't call TRUENAME in the #+openmcl case. …
Note: See TracBrowser for help on using the repository browser.