diff options
author | tv <tv@xso> | 2011-09-01 20:40:15 +0200 |
---|---|---|
committer | tv <tv@xso> | 2011-09-01 20:40:15 +0200 |
commit | e82fe298c97010dedea03dc9f3c3de68fb3bd336 (patch) | |
tree | 5ca3e5bceb233d3ad7066d24632a37d4e6ecda70 /cholerab | |
parent | 83d85e16dbd11a13f1af15fedef87150571cf391 (diff) |
//cholerab/AGENDA += generate code somewhere else
Diffstat (limited to 'cholerab')
-rw-r--r-- | cholerab/AGENDA | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cholerab/AGENDA b/cholerab/AGENDA index 8c80be0d..d2c1ae1f 100644 --- a/cholerab/AGENDA +++ b/cholerab/AGENDA @@ -107,3 +107,6 @@ - //Schnabeltasse - wgrep + + - generated code must be created outside of the //-hierarchy, so killing + a local repository and recloning it is easier |