Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
user:zeman:parser-adaptation [2008/03/14 14:16] zeman |
user:zeman:parser-adaptation [2008/03/14 14:25] zeman make all |
||
---|---|---|---|
Line 7: | Line 7: | ||
< | < | ||
cd $PADAPT</ | cd $PADAPT</ | ||
+ | |||
+ | This thing is not (yet) under version control. | ||
+ | |||
+ | There is a '' | ||
===== To do ===== | ===== To do ===== |