diff options
author | Vincent Sanders <vince@kyllikki.org> | 2016-05-05 22:28:51 +0100 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2016-05-15 13:44:34 +0100 |
commit | d21447d096a320a08b3efb2b8768fad0dcdcfd64 (patch) | |
tree | 1a83814b7c9e94b2f13c473261f23dd3a17dee64 /atari/extract.php | |
parent | 2cbb337756d9af5bda4d594964d446439f602551 (diff) | |
download | netsurf-d21447d096a320a08b3efb2b8768fad0dcdcfd64.tar.gz netsurf-d21447d096a320a08b3efb2b8768fad0dcdcfd64.tar.bz2 |
move frontends into sub directory
Diffstat (limited to 'atari/extract.php')
-rwxr-xr-x | atari/extract.php | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/atari/extract.php b/atari/extract.php deleted file mode 100755 index 865b70ed7..000000000 --- a/atari/extract.php +++ /dev/null @@ -1,10 +0,0 @@ -#!/usr/bin/php -<? -$lines = file("deskmenu.c"); - -foreach($lines as $line){ - if(stripos($line, "static void __CDECL menu_") === 0){ - echo $line; - } -} -?> |