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