diff options
Diffstat (limited to 'src/.BitEQ.aux')
| -rw-r--r-- | src/.BitEQ.aux | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/.BitEQ.aux b/src/.BitEQ.aux deleted file mode 100644 index b85cf5b..0000000 --- a/src/.BitEQ.aux +++ /dev/null @@ -1,2 +0,0 @@ -COQAUX1 0c779ed0297eab017740eaf15e9ad89b /home/ymherklotz/projects/biteq/src/BitEQ.v -0 0 vo_compile_time "0.140" |