diff options
-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 |