Update gitignore in formal directories to ignore proof folders
authorMichael Nolan <mtnolan2640@gmail.com>
Tue, 28 Jan 2020 16:56:34 +0000 (11:56 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Tue, 28 Jan 2020 19:53:47 +0000 (14:53 -0500)
commit98ef4017eb1e8444a54418f25847b7923ee29332
treea38319162935a240f49bfbe0dc006dc031b82950
parentbe42efd36534428aa87b853a21342bfc194f6cf0
Update gitignore in formal directories to ignore proof folders
src/ieee754/fpmax/formal/.gitignore [new file with mode: 0644]
src/ieee754/fsgnj/formal/.gitignore [new file with mode: 0644]