From 29c25171fbd4394c6007935c31f7d0e0995a6792 Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Thu, 21 Apr 2022 19:07:50 -0400 Subject: add placeholders for pragma documentation --- src/math/FP_CONTRACT.pragma | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 src/math/FP_CONTRACT.pragma (limited to 'src/math') diff --git a/src/math/FP_CONTRACT.pragma b/src/math/FP_CONTRACT.pragma new file mode 100644 index 00000000..e69de29b -- cgit v1.2.1