Wed, 27 Jun 2012 07:29:32 +0200 corrected name of components file
haftmann [Wed, 27 Jun 2012 07:29:32 +0200] rev 48155
corrected name of components file
Tue, 26 Jun 2012 22:52:01 +0200 prefer stderr for warnings
haftmann [Tue, 26 Jun 2012 22:52:01 +0200] rev 48154
prefer stderr for warnings
Tue, 26 Jun 2012 22:26:41 +0200 include jedut_build among canonical components
haftmann [Tue, 26 Jun 2012 22:26:41 +0200] rev 48153
include jedut_build among canonical components
Tue, 26 Jun 2012 22:25:36 +0200 support for platform-specific components
haftmann [Tue, 26 Jun 2012 22:25:36 +0200] rev 48152
support for platform-specific components
Tue, 26 Jun 2012 22:23:28 +0200 correction: proper initialization of existing component
haftmann [Tue, 26 Jun 2012 22:23:28 +0200] rev 48151
correction: proper initialization of existing component
Tue, 26 Jun 2012 22:09:34 +0200 snippet to be sourced in user settings file in order to initialize components for a repository revision;
haftmann [Tue, 26 Jun 2012 22:09:34 +0200] rev 48150
snippet to be sourced in user settings file in order to initialize components for a repository revision; the initialization is Ā»liberalĀ« since there is no obvious solution yet for components whose distribution is restricted
Sat, 23 Jun 2012 20:34:21 +0200 more standard filename for common components
haftmann [Sat, 23 Jun 2012 20:34:21 +0200] rev 48149
more standard filename for common components
Tue, 26 Jun 2012 15:58:22 +0200 updated crontab on macbroy27 and macbroy2;
wenzelm [Tue, 26 Jun 2012 15:58:22 +0200] rev 48148
updated crontab on macbroy27 and macbroy2;
Tue, 26 Jun 2012 15:55:02 +0200 use macbroy27 instead of macbroy28, which is broken for several weeks already;
wenzelm [Tue, 26 Jun 2012 15:55:02 +0200] rev 48147
use macbroy27 instead of macbroy28, which is broken for several weeks already;
Tue, 26 Jun 2012 11:18:55 +0200 reintroduced "t@" encoding, this time sound
blanchet [Tue, 26 Jun 2012 11:18:55 +0200] rev 48146
reintroduced "t@" encoding, this time sound
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip