diff options
Diffstat (limited to 'stone_soup/crawl-ref/source/misc/header')
| -rw-r--r-- | stone_soup/crawl-ref/source/misc/header | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/stone_soup/crawl-ref/source/misc/header b/stone_soup/crawl-ref/source/misc/header deleted file mode 100644 index 9f91952461..0000000000 --- a/stone_soup/crawl-ref/source/misc/header +++ /dev/null @@ -1,10 +0,0 @@ -/* - * File: - * Summary: - * Written by: - * - * Change History (most recent first): - * - * <1> --/--/-- --- Created - */ - |