put some stuff from sea/* to gitignore

This commit is contained in:
2022-08-19 11:31:44 +02:00
parent b280de0b6f
commit a6959491f8

12
.gitignore vendored
View File

@ -7,3 +7,15 @@
CVS
.#*
/GraphServer0
/SeaServer0
/*_sea_logger.tar
/sea.tcl
/graph.tcl
/history
/gzlogger
/log
/logger
/status