diff options
Diffstat (limited to 'src/stream/turing/info.txt')
| -rw-r--r-- | src/stream/turing/info.txt | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/stream/turing/info.txt b/src/stream/turing/info.txt index dede0dd39..feb00a92d 100644 --- a/src/stream/turing/info.txt +++ b/src/stream/turing/info.txt @@ -1,13 +1 @@ define TURING - -load_on auto - -<requires> -stream -</requires> - -<add> -tur_tab.cpp -turing.cpp -turing.h -</add> |