From 1d99547856b00c299a2188b2f39f35a790bf26dd Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 26 May 2018 10:34:12 -0500 Subject: [PATCH] rename dir --- {articles => doc/papers}/mcsat-vmcai2013.pdf | Bin {articles => doc/papers}/mcsat_design.pdf | Bin {articles => doc/papers}/minisat.pdf | Bin 3 files changed, 0 insertions(+), 0 deletions(-) rename {articles => doc/papers}/mcsat-vmcai2013.pdf (100%) rename {articles => doc/papers}/mcsat_design.pdf (100%) rename {articles => doc/papers}/minisat.pdf (100%) diff --git a/articles/mcsat-vmcai2013.pdf b/doc/papers/mcsat-vmcai2013.pdf similarity index 100% rename from articles/mcsat-vmcai2013.pdf rename to doc/papers/mcsat-vmcai2013.pdf diff --git a/articles/mcsat_design.pdf b/doc/papers/mcsat_design.pdf similarity index 100% rename from articles/mcsat_design.pdf rename to doc/papers/mcsat_design.pdf diff --git a/articles/minisat.pdf b/doc/papers/minisat.pdf similarity index 100% rename from articles/minisat.pdf rename to doc/papers/minisat.pdf