From 1044303f9cc28fccc541745142491d17f94e1164 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 20 Dec 2022 11:17:59 +0100
Subject: [PATCH] [doc] Remove useless file.

---
 doc/ext/__pycache__/why3.cpython-310.pyc | Bin 6703 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 doc/ext/__pycache__/why3.cpython-310.pyc

diff --git a/doc/ext/__pycache__/why3.cpython-310.pyc b/doc/ext/__pycache__/why3.cpython-310.pyc
deleted file mode 100644
index 58c7cad082195fe747e9ffe46b4ead50457f7a6d..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 6703
zcmb7IS!^6fdhWY>4wAz|lt{}mEm@X^GD&$AWH(vwO15Mto3&|2Vs;ljLl2r$HN&R5
zr$^O25;-1jl9hKiK_DbS66A6MDnXDa_l+RQLx4QzIY7N8FMi0=0(p>geSh@~IijQm
z(vAA7{;I#Ozy7N#nV2YQ_`ZAfljgrJXxhIKGX7aWt|6sD*EFUvJ<?*`*JHysbi$3u
zj4j`aZQqU^--%t{jXmFs3w|Lk`o*~9m*TQt*0mqen8~b<HD+=BzUfb(uN_UsQ~s2$
z@d@TI_kqr*nD+*aT8Jus1$i-=j%WNCHB%{?jpzJ1RW3&-;(32wl_#Q;@hSh5Do;iW
z@uI(|%2Uw`@oE3GDp#Tx<1_vl%v3peiA_J${UxkthRtF<vwRWjd0Dm0q2(-EPOy2j
z%&V4jz)!MMz)$hhpnL`R0$T*W$mfBd2mS&(4g54e5Byc&FS0Yh&nWx?@R!&U@Fj&`
z1pYER3;e9YtH95(SAf65Poe)ZJI`MISo1Hj!Y!?O;Zr(|sv(Ovd7JOP%Xhhu_Ps=~
zv|5nX2H(x3dp(I`-pQo*ewT|NON4a4%J+y!TI)f~rE@D2VW%yf^<KP%0ZJeAI?b#X
zWMR^g_S-@vqDk|Nf3rZYA*KHbz%^fInr|@OH<{sE%=B%Xq|-8(&0Ro;d(3T_%;R3m
z;01280xLc+coA(SMN#G@lqYx@aFUmICUz!Kn&MMC737s+K8<`D_zdzH<g>_Uk<THY
zLw-VyIL}Y)%(Ig%vptPd!HjDD1<b#Qb-aN5G}X2(_99WD{S5Mx$X^=fOT+x-VS7Fz
zdbS;Q_7l@T#m<5IugK!pxA)$ASFzo<RT<ph-ixE^d(sQG(o6)+%y&@gf!lTvg+VIK
zptC0p6r3PUxyV%B!#Nm1=G(z;n8ecF;_VR3-x55yEsd=`X*aid^ER?5>2SZ)Ou`Q9
zHM8(8mtHgJq**{mj8YbMdffLIT11<t(qM_S7<F=3a<7vC<59|`$vez<c?U}amCL(n
zh@oYH?>2c?9lgVM!!*M>`EEDCI_*|K9qm?>1er8jkR%5nh$0}pj`RSqqNL;7?d>GZ
zq}5J>NE%^FI$^AaFv5;sI9xdu?*<~IrQ1=k#UtO2cpL}Pj5w;|AZu<*E9O}soj75=
zh)Xx_Wx*B-W+%ZSl88yS8;C5#OoguCENliD$hsoDi-K=;u|H{xAjHxgm8FDs+T6Fn
zU6%T$;7tk8lAhpqdLi+{5j^XOj&$=JUD9UK#TljGU$)IVz5|#DoFs8H6Fsab18QY^
zUGAGb;_zLp$vxcQz3mXow(f=5w(r~%VaC(PW<9;scj_1G%k^sCqFlPoTwnXedhJ^6
z!_Cd*`exs#Z&h{aq`g)v-0jcQR=)Z2`43-RzVxNR)i=JpRtH77wpsgV|BFAo`r5_n
zW`CmgVg2iMwppv+yRf;8p&&?UFUsm${iT(wbyjD~7i+7V$f{Q_*7)0-wM#3Td40A2
zrIo9fYrEe-XBMoq-duTStfaafHK^|051#1$!t**eu#)M^wdDQH+U1qcD?n9Kmup*Z
z0ehViRd{uV8BltxUwEva#kQ4w>btcMFD_R%FZJzn-Cnv4ekrb<>n7d4U85!<sn^ef
zWTIZLp;W)n$+pBM7*NNYKeYMLmHqy7y}nDxaBm-dZXYAn>z%48Es-Rdcn>B`{5ZgR
zbwPTKMh8Z+(U8SPBbPyx%Z<jJUJwmiEXt*;)Elzn-OkNxD#$+yhk#AMB;XP#5%2({
z`&KWEptI8XAmu%l2=chneka$lALYB!e7^}ne+wk;S2`K&ybuMVac(3%QUvGiv>8A&
zoh-Qxb$+BNYpuZJ*Vnd_n6K^hqL6pi-hJ~cx8A<Fb{*N9H`kg_i9oEeq`3w^u?D+!
zWwpB}CNMUwJADVh(<~jo;Zz*m(;a;hiT<MQ86Il#-!Y21@gL4SVUBM6m*<XJQ2)62
z?`lkv--sMkx>42r5)2lUwiAUNE+#S4I@;|{!gz{;7ce#|Prtvl!<*R+o;F3O3=@rX
zBZ-5sL!{rh$y+y*h@(7ptGgX`c5gs~m1RU#ISy{~26UT-6YpZ8r(BtV%4<m9n*%s<
zWz2w^HJJ%RZ^<%@`<0C(iD;%Ko#^PJGO_DAQo0O~X$Lyf2lhi_-yYZp1~VS&VtQaB
zz|p>KENG~;26oG!an~Q~OMUVfSC&2{34sXO_fjlZnrUxK78R3HvKUoIS}BiOWVY{;
zRZ<(0GuuJhfO(F>W|%dyFoQhUdFFt@ZJr$ogJ76Jmb)Tp@-%IL^S6l~DT!ejCtAko
z^%urBx;jp~{>T!yKq@u}`~-nM0pjNvph-jr;HyaABhGjjUDfmpuxJ-om#g*7=N^KH
z(E|*hrgglTLGibG8GnlFq(p~Ye+|eu*E8e51poDYXW)pLfpcKd8I1AWTo(!Ye2Sn|
ztJ>lYG9dt<!k7{47q1g$w?)$HR$Y-1L65*)0`~~)64(QfdVGBQ#1~>vO1ey}wMb#~
z{+XvX^(2SIN1z`YOtDrmbRP|h?*pPB?719FFQWBGjK?D~-w8F}Wj1pl+K9*?f?m#P
z6755^c}IMcW+CouGzpGA;yTIub)@uX0ES%Gb|B>o+JX5{gVgKH9B4b%KyMlI+P;z5
zI}Wp$H89#bvmcoI)aved2Ze$8P)7jnfKmsgl@)hN%!PIspx0V9=)DJYZrV=yV1gC$
z6Frz@#eqIB9-6u~um@(FG^v!Is9N)5`+T}`K9w5O-wavWFP%@nxI|tx=pf|n2BAO;
zA|D7BthGhz2e%ClRHw#dp#b$kRMtTNWRnBximzeEqD4TRJ8CJ?@L)g{ot#5N!pF2R
z*S|J8NE<N^-&Hasi_ppjQ}#<1Vdxr(GH^pVqbMp;jzt!84OY&@BKswaY8YBM0>V&L
zA*druI3_hDFbHQ5i=mLt0L;T~&ma}`Q_%8B62%iEJwH74RrFY|7LMt-ERltwu#&D2
zGsF0ZHIA4wlPIGcL}PUet*|pz(Lm^fXr~)Axh&=6jkL>~;@7aav6Uam`?t_gr{$At
z7&;+xM0(i})b@Po{{mW{DgF9T`YlMl<rjupP-HIipbaH;pDN0N;tRY;d*et8#K$zH
z2{8Jod}x2jZw!n~+tCNG{15ccL+S@Qq|zX#W@YfMRYNE_D8RopRX|ZSm05wI58KiO
zP!39QKmm1%m2HS@#2eHcARgspdQzIW0$%hN4;Q<7oUlnmqmT5K(siVi28MsqcC?{}
zS_53#puPIQQu=5@yP(lZdr9|jF{f4rZ#J-S6^CXL9a^jdo4G@+bb!0)X^~zsjZDkB
zxR1HSw*mSN>EQWPe3xpzL*QcqWJIc-(kxtqx?S8!WGN%|H<YMLx-9Tr#T#XSe}Q`a
zA^@~Qk=+Kt$V4jzeMl6)L*SPP{0f0zC2)+lbEJB?hBd(Dd_FS3X&GP=YBH%WLS5#D
zc6)=STYXli^=kQ;)`(xH34epYZxZ-~z;6-wJp#W^;CBi90fD21sS+KK_-z34qA3a2
zxB`$8ct+V$6h!~TN7nip(y>?uPC&=CoGhg&CrD}zU8^jR&r@D@{gHiqA4ki5)*}B9
zGu@}z$SKewJzY@U|6^I|wE)Yqa?QKJw|eb<kx{nPih{PZRe4?fF~)r+r~V8LN~->Z
zC<uG*^x_d(!2ypr@E&fJ;&Z6@K4bp{ntu*SsIduq{@8ztR%}CYcLVp!6j$TepTrYD
zUd*3U3Wxajnf5O+)XyJIOW0G>634G0r2^o%z2o+MjXT5S<~cJzv3(D3FGXJBWxS~o
zK8bi>3aJumqo3+|g;{uM%j1OUp@p2GHyc>WSysY%mDStFl{^erYV2FYRfJQ2gcXTD
zCqUd4KTF`R0Hm8cy7Z}-!b2<VF#R!rpC-!!3q>~Pp>{*tT&yFe*hhqc$iW!aO`*<0
zvJvB1_z`apoPpVLzNYEgotZnHvOtLQ{stqer~r>-77Or@V8a!~>B!sS#usr#g~&jJ
zNp6Z<_;hl+xe1}A<)TNbDNE$Phg%_WQ$EW0sd*^o9Dd_}t^euI6EAY+td5a4X{V!)
zg2O|r{DVM7`yMEJt0Gu$;E9EShn*Jo?aUZ}1A_wg>JIGt&MjqU9~t>B;ZXh-gGiHt
z{s^UN@hEVWrItwI;jW~+g*zv%L*nm1mhbVGsjGTEQc(pSLeeC<%b6@>$%q-p_)s3w
zG<I<tAwH{ccaH26q7AsGlVeO6r+vaVS?FjYU8e!g01y}8NzImll0kAXpk&a~?=4OI
zBS^4S<qZBFWwq(5m2Xw;M|lBd`=4B}avRh=H2}^GW1!(79mQem)w$zVP>r}olTqX?
zb_kGh#yb+ECsj62Ssp<qLIo&-v{n|`=qidAHaMyfH!oQZJ0U$+HAo!AKTwZ<CO}^8
znHKJ^(Lno2e*j=~BUkrwaM}6H@C-fwozE=SGVl%Y;%A=cIb~PS2v2Ao`3d5@;`%%a
z1MNV|bmjkb23><0P&eQ8zIl1|^$i$J7w?HFy$H|XxeafAJi<jOV2w0raXEWfryjOc
zB|S?MTZaKEt$`wPc=@qiDvh#JJhpZJ2?R=n@MvJt7M%YU|3aN!lat-OwhF~p)eC~4
z15~dmV=e0SBY$zRshKQf{@6lFr=CpI+e-fSLOxzSOUT(&JsPZThwbeM36BzO!O<)Y
z+{0CLpM_DX0)IS3DdIesn;!N&I%Kg;{U%5CDl$(+NR{PbWiBx!LUL|c)x-F!bc;~)
z+@_|{(5i_vGF2+A9tXR4M$GRiB!l872`IVz7L_P)I4+PRi%JF*KgYPQ6hs|?_eTD<
s^<|Qblni%8drhwx<u6P^zRHM$j{c%iF^X=*sCbo`%881V|K*kc10D6P0ssI2

-- 
GitLab