diff -r d97eda8bc8ec -r 821253d361d1 server/src/app/Services/BnfResolverInterface.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/server/src/app/Services/BnfResolverInterface.php Thu Feb 25 21:26:15 2016 +0100 @@ -0,0 +1,20 @@ +