diff options
author | Erwin Hoffmann <feh@fehcom.de> | 2023-10-05 17:27:36 +0200 |
---|---|---|
committer | Erwin Hoffmann <feh@fehcom.de> | 2023-10-05 17:27:36 +0200 |
commit | c70dba0ed2330eaea1b48bdf66408b393d8d014b (patch) | |
tree | b494c91916bbcb198b151121a4b8b1b53e95cc30 | |
parent | f6a8c267119bb76a6479ee5a73dc30a056f231cb (diff) |
Removed obsolete object file operator-id.o
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | src/operator-id.o | bin | 15952 -> 0 bytes |
2 files changed, 1 insertions, 0 deletions
@@ -1 +1,2 @@ src/it* +src/*.o diff --git a/src/operator-id.o b/src/operator-id.o Binary files differdeleted file mode 100644 index ff93eae..0000000 --- a/src/operator-id.o +++ /dev/null |