From a6959491f8cba0c7c4bd496ffc03c36c9907abfa Mon Sep 17 00:00:00 2001 From: boa Date: Fri, 19 Aug 2022 11:31:44 +0200 Subject: [PATCH] put some stuff from sea/* to gitignore --- .gitignore | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/.gitignore b/.gitignore index eaa0bdd..55c19e9 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,15 @@ CVS .#* + +/GraphServer0 +/SeaServer0 +/*_sea_logger.tar +/sea.tcl +/graph.tcl +/history +/gzlogger +/log +/logger +/status +