diff --git a/fc-discuss/2008-April.txt.gz b/fc-discuss/2008-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..9e212b6ac3f70215eba7a412c46d2d556e30b48e Binary files /dev/null and b/fc-discuss/2008-April.txt.gz differ diff --git a/fc-discuss/2008-August.txt.gz b/fc-discuss/2008-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..dc38571cef2c05312a687c5e65b14357dfbd866e Binary files /dev/null and b/fc-discuss/2008-August.txt.gz differ diff --git a/fc-discuss/2008-December.txt.gz b/fc-discuss/2008-December.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..fb2ee49a13ed9589e8f07d6da046d0fce8eefe71 Binary files /dev/null and b/fc-discuss/2008-December.txt.gz differ diff --git a/fc-discuss/2008-February.txt.gz b/fc-discuss/2008-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..50e078d3a423c54a421911b81bc0296b889d2016 Binary files /dev/null and b/fc-discuss/2008-February.txt.gz differ diff --git a/fc-discuss/2008-January.txt.gz b/fc-discuss/2008-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..21a6092b2b0fa39176f5d3ce5f519bf796a85a01 Binary files /dev/null and b/fc-discuss/2008-January.txt.gz differ diff --git a/fc-discuss/2008-July.txt.gz b/fc-discuss/2008-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..3e171ff059bb504a0a4cb9fec6d2d97cf954db9b Binary files /dev/null and b/fc-discuss/2008-July.txt.gz differ diff --git a/fc-discuss/2008-June.txt.gz b/fc-discuss/2008-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..02ca643efc3a40187a26806f09d95088d2f25e26 Binary files /dev/null and b/fc-discuss/2008-June.txt.gz differ diff --git a/fc-discuss/2008-March.txt.gz b/fc-discuss/2008-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..4887eb1ac28497bcbd4ea9b6fd2ef123e54bc0a2 Binary files /dev/null and b/fc-discuss/2008-March.txt.gz differ diff --git a/fc-discuss/2008-May.txt.gz b/fc-discuss/2008-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..f57fbb0c6740340be5724e6284a651a9ce826de8 Binary files /dev/null and b/fc-discuss/2008-May.txt.gz differ diff --git a/fc-discuss/2008-November.txt.gz b/fc-discuss/2008-November.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..a28a720935eec63137dc78e57f3e16ce3c84a2c7 Binary files /dev/null and b/fc-discuss/2008-November.txt.gz differ diff --git a/fc-discuss/2008-October.txt.gz b/fc-discuss/2008-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..f3076b2535d431de96d63d13a61b8a2273b38d29 Binary files /dev/null and b/fc-discuss/2008-October.txt.gz differ diff --git a/fc-discuss/2008-September.txt.gz b/fc-discuss/2008-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..b79eb37b9899aef10919478bc89afbc2671f8d62 Binary files /dev/null and b/fc-discuss/2008-September.txt.gz differ diff --git a/fc-discuss/2009-April.txt.gz b/fc-discuss/2009-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..96fd6c0c119fc903a5c40102ca6c3a357f758232 Binary files /dev/null and b/fc-discuss/2009-April.txt.gz differ diff --git a/fc-discuss/2009-August.txt.gz b/fc-discuss/2009-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..eb5da22954dcd7b8922d2dd3ccc172f437bf19d8 Binary files /dev/null and b/fc-discuss/2009-August.txt.gz differ diff --git a/fc-discuss/2009-December.txt.gz b/fc-discuss/2009-December.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..3059890c0da49b3c913887e435badbe65d5c9119 Binary files /dev/null and b/fc-discuss/2009-December.txt.gz differ diff --git a/fc-discuss/2009-February.txt.gz b/fc-discuss/2009-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..eecbffa271347d124f64cd2fede4536f45f348e6 Binary files /dev/null and b/fc-discuss/2009-February.txt.gz differ diff --git a/fc-discuss/2009-January.txt.gz b/fc-discuss/2009-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..3474b44ff7c6bd37e80d338be138427187be0191 Binary files /dev/null and b/fc-discuss/2009-January.txt.gz differ diff --git a/fc-discuss/2009-July.txt.gz b/fc-discuss/2009-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..d4ce7fa9f2c0d59aef3ab74bbd43ffdf5c7aa0db Binary files /dev/null and b/fc-discuss/2009-July.txt.gz differ diff --git a/fc-discuss/2009-June.txt.gz b/fc-discuss/2009-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..a7152bab55c6bd9afb90d00f3ae28ccf361c8202 Binary files /dev/null and b/fc-discuss/2009-June.txt.gz differ diff --git a/fc-discuss/2009-March.txt.gz b/fc-discuss/2009-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..ab1a61a297aa453f8d16297a39bc4bb26fd30c52 Binary files /dev/null and b/fc-discuss/2009-March.txt.gz differ diff --git a/fc-discuss/2009-May.txt.gz b/fc-discuss/2009-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..ef3fe1381956ee823e50335cbde7772371fac20e Binary files /dev/null and b/fc-discuss/2009-May.txt.gz differ diff --git a/fc-discuss/2009-November.txt.gz b/fc-discuss/2009-November.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..38052f8f0a973f8fbf231094f49e96d3d42e3a64 Binary files /dev/null and b/fc-discuss/2009-November.txt.gz differ diff --git a/fc-discuss/2009-October.txt.gz b/fc-discuss/2009-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..23a28e6fcaf10c4959c57ff59f63e578be5f92ba Binary files /dev/null and b/fc-discuss/2009-October.txt.gz differ diff --git a/fc-discuss/2009-September.txt.gz b/fc-discuss/2009-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..179a9a3f4f973c35e37f9cc34fe864abed2400b5 Binary files /dev/null and b/fc-discuss/2009-September.txt.gz differ diff --git a/fc-discuss/2010-April.txt.gz b/fc-discuss/2010-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..3cbf41143b7e521fa64dd0c345016b0db912bba6 Binary files /dev/null and b/fc-discuss/2010-April.txt.gz differ diff --git a/fc-discuss/2010-August.txt.gz b/fc-discuss/2010-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..e37c52542ae1209e62c7af3243c80dfc5b4f405b Binary files /dev/null and b/fc-discuss/2010-August.txt.gz differ diff --git a/fc-discuss/2010-December.txt.gz b/fc-discuss/2010-December.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..c8ef5beab43ece24da2aceaae630e08fe68bec4b Binary files /dev/null and b/fc-discuss/2010-December.txt.gz differ diff --git a/fc-discuss/2010-February.txt.gz b/fc-discuss/2010-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..49e9bb40e9cb0c5ceb25d884d44415da73daa6c1 Binary files /dev/null and b/fc-discuss/2010-February.txt.gz differ diff --git a/fc-discuss/2010-January.txt.gz b/fc-discuss/2010-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..4f7f20436a36c1ba261ad418e12d9bdf07ae6efd Binary files /dev/null and b/fc-discuss/2010-January.txt.gz differ diff --git a/fc-discuss/2010-July.txt.gz b/fc-discuss/2010-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..db92184e1aff08285a246c63619accadaf6109e1 Binary files /dev/null and b/fc-discuss/2010-July.txt.gz differ diff --git a/fc-discuss/2010-June.txt.gz b/fc-discuss/2010-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..4f57b3395c425649b5f0dfb2a2b3604e2789074b Binary files /dev/null and b/fc-discuss/2010-June.txt.gz differ diff --git a/fc-discuss/2010-March.txt.gz b/fc-discuss/2010-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..6f7b799a1ba91da10a2b819de0431a6c74dff6d5 Binary files /dev/null and b/fc-discuss/2010-March.txt.gz differ diff --git a/fc-discuss/2010-May.txt.gz b/fc-discuss/2010-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..b3144d9cdebce66d4c64634bfc625ef542c05d44 Binary files /dev/null and b/fc-discuss/2010-May.txt.gz differ diff --git a/fc-discuss/2010-November.txt.gz b/fc-discuss/2010-November.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..21533f402c91ea73b3b1b8ca60bc0c4b5d2a1fd5 Binary files /dev/null and b/fc-discuss/2010-November.txt.gz differ diff --git a/fc-discuss/2010-October.txt.gz b/fc-discuss/2010-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..c7fef4c91a92026a402bfd4536ae2205d56c3f3f Binary files /dev/null and b/fc-discuss/2010-October.txt.gz differ diff --git a/fc-discuss/2010-September.txt.gz b/fc-discuss/2010-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..c49e33140ffdf876e13f927e5c80ab703d9643af Binary files /dev/null and b/fc-discuss/2010-September.txt.gz differ diff --git a/fc-discuss/2011-April.txt.gz b/fc-discuss/2011-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..fc281f1cdc6b6a3ad01bb3e68994b549adadc8e4 Binary files /dev/null and b/fc-discuss/2011-April.txt.gz differ diff --git a/fc-discuss/2011-August.txt.gz b/fc-discuss/2011-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..48a4bc483e5e3c331db2c6328766cde970af797f Binary files /dev/null and b/fc-discuss/2011-August.txt.gz differ diff --git a/fc-discuss/2011-December.txt.gz b/fc-discuss/2011-December.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..25b3a747ed86b96227ee549f6ba6579862f43137 Binary files /dev/null and b/fc-discuss/2011-December.txt.gz differ diff --git a/fc-discuss/2011-February.txt.gz b/fc-discuss/2011-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..d179ed13a97c82b787d4de3f4e34e65a6c180728 Binary files /dev/null and b/fc-discuss/2011-February.txt.gz differ diff --git a/fc-discuss/2011-January.txt.gz b/fc-discuss/2011-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..807515dc79eab1db74d8fd6b08644a3a28ab3c75 Binary files /dev/null and b/fc-discuss/2011-January.txt.gz differ diff --git a/fc-discuss/2011-July.txt.gz b/fc-discuss/2011-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..ce2fe775cf7a9c02668454b91bc45ebfa27ff337 Binary files /dev/null and b/fc-discuss/2011-July.txt.gz differ diff --git a/fc-discuss/2011-June.txt.gz b/fc-discuss/2011-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..b61d5cdf25ac20fe821752f4062d5b4a43eb946d Binary files /dev/null and b/fc-discuss/2011-June.txt.gz differ diff --git a/fc-discuss/2011-March.txt.gz b/fc-discuss/2011-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..3cef608ca0cf32d79a394f65cf4dcfa9dbfa82fb Binary files /dev/null and b/fc-discuss/2011-March.txt.gz differ diff --git a/fc-discuss/2011-May.txt.gz b/fc-discuss/2011-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..8fbcad96b6786ecad8cc23b14bb9d1a8e3277528 Binary files /dev/null and b/fc-discuss/2011-May.txt.gz differ diff --git a/fc-discuss/2011-November.txt.gz b/fc-discuss/2011-November.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..9a7a6de592cfc981a8bfc6ef2781ca9f7f2c6862 Binary files /dev/null and b/fc-discuss/2011-November.txt.gz differ diff --git a/fc-discuss/2011-October.txt.gz b/fc-discuss/2011-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..178fd013163e1edb58db2aa1e386691a3aa7453e Binary files /dev/null and b/fc-discuss/2011-October.txt.gz differ diff --git a/fc-discuss/2011-September.txt.gz b/fc-discuss/2011-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..4e2a647e1ec0565e1ed9b98b7bd046b42a95708a Binary files /dev/null and b/fc-discuss/2011-September.txt.gz differ diff --git a/fc-discuss/2012-April.txt.gz b/fc-discuss/2012-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..fdeb0d3f053131c6b7f410653cc5a94538306515 Binary files /dev/null and b/fc-discuss/2012-April.txt.gz differ diff --git a/fc-discuss/2012-August.txt.gz b/fc-discuss/2012-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..c992e637b2361af8602cdd75961eeb5751f809dd Binary files /dev/null and b/fc-discuss/2012-August.txt.gz differ diff --git a/fc-discuss/2012-December.txt.gz b/fc-discuss/2012-December.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..9b54c1527f7181176db3376e42190b36229ba4c8 Binary files /dev/null and b/fc-discuss/2012-December.txt.gz differ diff --git a/fc-discuss/2012-February.txt.gz b/fc-discuss/2012-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..609cc966248646975e5151c1c0d8984c16e0a7b6 Binary files /dev/null and b/fc-discuss/2012-February.txt.gz differ diff --git a/fc-discuss/2012-January.txt.gz b/fc-discuss/2012-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..927e26880709206573737ee7b4c93200efce0d49 Binary files /dev/null and b/fc-discuss/2012-January.txt.gz differ diff --git a/fc-discuss/2012-July.txt.gz b/fc-discuss/2012-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..f36a05ec333a6fc4d271d5eb1265274878270257 Binary files /dev/null and b/fc-discuss/2012-July.txt.gz differ diff --git a/fc-discuss/2012-June.txt.gz b/fc-discuss/2012-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..2c7cfc603d939a63ef5e6e7ad75b763bf6997a96 Binary files /dev/null and b/fc-discuss/2012-June.txt.gz differ diff --git a/fc-discuss/2012-March.txt.gz b/fc-discuss/2012-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..64e693d5e2b6f565150fe58ab70e55549f653288 Binary files /dev/null and b/fc-discuss/2012-March.txt.gz differ diff --git a/fc-discuss/2012-May.txt.gz b/fc-discuss/2012-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..cc668cb15d5ef1af4ff6bbb26d7614a1eac95927 Binary files /dev/null and b/fc-discuss/2012-May.txt.gz differ diff --git a/fc-discuss/2012-November.txt.gz b/fc-discuss/2012-November.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..1b686c6eac5364f8d1655ab62852bb3a5ca507bf Binary files /dev/null and b/fc-discuss/2012-November.txt.gz differ diff --git a/fc-discuss/2012-October.txt.gz b/fc-discuss/2012-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..abbf90774ea7d6a6575938c178d5056b601a23e1 Binary files /dev/null and b/fc-discuss/2012-October.txt.gz differ diff --git a/fc-discuss/2012-September.txt.gz b/fc-discuss/2012-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..c5547ce210b3ef712e157cb63a44c18b0d1d4e3b Binary files /dev/null and b/fc-discuss/2012-September.txt.gz differ diff --git a/fc-discuss/2013-April.txt.gz b/fc-discuss/2013-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..e7a2990a62c2b6e6f6d2f4ca14151513a731f763 Binary files /dev/null and b/fc-discuss/2013-April.txt.gz differ diff --git a/fc-discuss/2013-August.txt.gz b/fc-discuss/2013-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..73bfb6dfad38778f618d8caa8b9478650d60a88c Binary files /dev/null and b/fc-discuss/2013-August.txt.gz differ diff --git a/fc-discuss/2013-December.txt.gz b/fc-discuss/2013-December.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..4e43781d201f78ebe27823418883dd2aaca02457 Binary files /dev/null and b/fc-discuss/2013-December.txt.gz differ diff --git a/fc-discuss/2013-February.txt.gz b/fc-discuss/2013-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..b27ba99aa6dad6d6385cb76f495057ed4235aef6 Binary files /dev/null and b/fc-discuss/2013-February.txt.gz differ diff --git a/fc-discuss/2013-January.txt.gz b/fc-discuss/2013-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..64fb96cb1d04b30ab4f5040b8d84e3f783ade57d Binary files /dev/null and b/fc-discuss/2013-January.txt.gz differ diff --git a/fc-discuss/2013-July.txt.gz b/fc-discuss/2013-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..8d3532a05aeb0b747248b54fe62e6d4a91ffc82f Binary files /dev/null and b/fc-discuss/2013-July.txt.gz differ diff --git a/fc-discuss/2013-June.txt.gz b/fc-discuss/2013-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..4693e220df3a667e5ea90ca7f369f1b92532023b Binary files /dev/null and b/fc-discuss/2013-June.txt.gz differ diff --git a/fc-discuss/2013-March.txt.gz b/fc-discuss/2013-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..55d5adea22c65d5816e7ea6a9f637ce98447c98c Binary files /dev/null and b/fc-discuss/2013-March.txt.gz differ diff --git a/fc-discuss/2013-May.txt.gz b/fc-discuss/2013-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..399c3aab527901204680143b6981d0a76c9eb4d6 Binary files /dev/null and b/fc-discuss/2013-May.txt.gz differ diff --git a/fc-discuss/2013-November.txt.gz b/fc-discuss/2013-November.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..e532f449e4416e75e4866a19e8a5b2ecf672bf8b Binary files /dev/null and b/fc-discuss/2013-November.txt.gz differ diff --git a/fc-discuss/2013-October.txt.gz b/fc-discuss/2013-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..1c0427af5b0080cfb95d016167d8cf2a6b682b10 Binary files /dev/null and b/fc-discuss/2013-October.txt.gz differ diff --git a/fc-discuss/2013-September.txt.gz b/fc-discuss/2013-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..c66659765247a47a44fa5943e7cba064fb146342 Binary files /dev/null and b/fc-discuss/2013-September.txt.gz differ diff --git a/fc-discuss/2014-April.txt.gz b/fc-discuss/2014-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..e5bd288c26be0fed961e3a11c3e4638eb93af133 Binary files /dev/null and b/fc-discuss/2014-April.txt.gz differ diff --git a/fc-discuss/2014-August.txt.gz b/fc-discuss/2014-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..9dfacf98b1cb77261ef273702022f2f5ff4c345a Binary files /dev/null and b/fc-discuss/2014-August.txt.gz differ diff --git a/fc-discuss/2014-December.txt.gz b/fc-discuss/2014-December.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..355778b06df09390319cd1e3d4ef85add0d30360 Binary files /dev/null and b/fc-discuss/2014-December.txt.gz differ diff --git a/fc-discuss/2014-February.txt.gz b/fc-discuss/2014-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..39f47a3a2e22bff8234d34543d2e4af79d195374 Binary files /dev/null and b/fc-discuss/2014-February.txt.gz differ diff --git a/fc-discuss/2014-January.txt.gz b/fc-discuss/2014-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..77d0013cff949e42a3a715ca6302368ad1a0b6cc Binary files /dev/null and b/fc-discuss/2014-January.txt.gz differ diff --git a/fc-discuss/2014-July.txt.gz b/fc-discuss/2014-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..dd8213b6b1f9c3a98a6b6ba8344101ed5fd0e74c Binary files /dev/null and b/fc-discuss/2014-July.txt.gz differ diff --git a/fc-discuss/2014-June.txt.gz b/fc-discuss/2014-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..f6c15d6e0ec3319f83ffe56d502b2ba553963a0f Binary files /dev/null and b/fc-discuss/2014-June.txt.gz differ diff --git a/fc-discuss/2014-March.txt.gz b/fc-discuss/2014-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..f85e4dba418589d0fe21bdc5ac2e9f2444e7bb77 Binary files /dev/null and b/fc-discuss/2014-March.txt.gz differ diff --git a/fc-discuss/2014-May.txt.gz b/fc-discuss/2014-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..866be98985ed218d68aecda3616051dfe30f232d Binary files /dev/null and b/fc-discuss/2014-May.txt.gz differ diff --git a/fc-discuss/2014-November.txt.gz b/fc-discuss/2014-November.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..7e8fb9fc6909bfd8063a9e8614468b5c5a543647 Binary files /dev/null and b/fc-discuss/2014-November.txt.gz differ diff --git a/fc-discuss/2014-October.txt.gz b/fc-discuss/2014-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..8caee222a9b13fef3f10940540b544c024b83042 Binary files /dev/null and b/fc-discuss/2014-October.txt.gz differ diff --git a/fc-discuss/2014-September.txt.gz b/fc-discuss/2014-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..fc360169a7a93c6a816aef8108adffdc1dfeb2ec Binary files /dev/null and b/fc-discuss/2014-September.txt.gz differ diff --git a/fc-discuss/2015-April.txt.gz b/fc-discuss/2015-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..d2f9b57ec0b69f7733f3910dc655b1ac75645d8c Binary files /dev/null and b/fc-discuss/2015-April.txt.gz differ diff --git a/fc-discuss/2015-August.txt.gz b/fc-discuss/2015-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..d38ab9716b2722c29ed0f7d24eea85f9696b1028 Binary files /dev/null and b/fc-discuss/2015-August.txt.gz differ diff --git a/fc-discuss/2015-December.txt.gz b/fc-discuss/2015-December.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..9c3f684832648905551f869ee0c5bec7132a8a78 Binary files /dev/null and b/fc-discuss/2015-December.txt.gz differ diff --git a/fc-discuss/2015-February.txt.gz b/fc-discuss/2015-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..32be04f7f43b51d511a67b61659c63e78b620c18 Binary files /dev/null and b/fc-discuss/2015-February.txt.gz differ diff --git a/fc-discuss/2015-January.txt.gz b/fc-discuss/2015-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..a7e5d20b7d135b42943b8f35cb97be29cc0130ff Binary files /dev/null and b/fc-discuss/2015-January.txt.gz differ diff --git a/fc-discuss/2015-July.txt.gz b/fc-discuss/2015-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..a431e5c2f08043c914826790092fc2a96fe19d12 Binary files /dev/null and b/fc-discuss/2015-July.txt.gz differ diff --git a/fc-discuss/2015-June.txt.gz b/fc-discuss/2015-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..968495ef01450ea3486091f0e107e68d5e71492f Binary files /dev/null and b/fc-discuss/2015-June.txt.gz differ diff --git a/fc-discuss/2015-March.txt.gz b/fc-discuss/2015-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..03d47e3d8f89b1e1ac88f99ef9de4d88a7d388f1 Binary files /dev/null and b/fc-discuss/2015-March.txt.gz differ diff --git a/fc-discuss/2015-May.txt.gz b/fc-discuss/2015-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..d5674b10e0c161c40fb454df1164ce6c150c08ac Binary files /dev/null and b/fc-discuss/2015-May.txt.gz differ diff --git a/fc-discuss/2015-October.txt.gz b/fc-discuss/2015-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..5de70439dce25bbb41340e42c620e29f378a6047 Binary files /dev/null and b/fc-discuss/2015-October.txt.gz differ diff --git a/fc-discuss/2015-September.txt.gz b/fc-discuss/2015-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..adee5bf83ce2d556c44bb96252d4d7b38c46a9ac Binary files /dev/null and b/fc-discuss/2015-September.txt.gz differ diff --git a/fc-discuss/2016-April.txt.gz b/fc-discuss/2016-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..e902896406656c5a5c9b8b4cc788470256f1e71c Binary files /dev/null and b/fc-discuss/2016-April.txt.gz differ diff --git a/fc-discuss/2016-August.txt.gz b/fc-discuss/2016-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..04c93c7b88e3ca189b19f208062ae5e71663e061 Binary files /dev/null and b/fc-discuss/2016-August.txt.gz differ diff --git a/fc-discuss/2016-December.txt.gz b/fc-discuss/2016-December.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..bc071ae0e2540e6637e041cd08d9850b4e3d358a Binary files /dev/null and b/fc-discuss/2016-December.txt.gz differ diff --git a/fc-discuss/2016-February.txt.gz b/fc-discuss/2016-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..34be77c0194bd837d1e21a316ab75de1e97452c9 Binary files /dev/null and b/fc-discuss/2016-February.txt.gz differ diff --git a/fc-discuss/2016-January.txt.gz b/fc-discuss/2016-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..25e7d8974c8070929e3e0d524f41d645e6a99b90 Binary files /dev/null and b/fc-discuss/2016-January.txt.gz differ diff --git a/fc-discuss/2016-July.txt.gz b/fc-discuss/2016-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..a79b43a276a2dee22ded79afa241347bff031890 Binary files /dev/null and b/fc-discuss/2016-July.txt.gz differ diff --git a/fc-discuss/2016-June.txt.gz b/fc-discuss/2016-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..cad0ea89d243c8b8b42df52307ebcf04deff10aa Binary files /dev/null and b/fc-discuss/2016-June.txt.gz differ diff --git a/fc-discuss/2016-March.txt.gz b/fc-discuss/2016-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..89560e320756afccf1698eeb02521300cbe49840 Binary files /dev/null and b/fc-discuss/2016-March.txt.gz differ diff --git a/fc-discuss/2016-May.txt.gz b/fc-discuss/2016-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..98c6502a5998775954436132c191d11216064019 Binary files /dev/null and b/fc-discuss/2016-May.txt.gz differ diff --git a/fc-discuss/2016-November.txt.gz b/fc-discuss/2016-November.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..8f4d2386a9213d6a1641928ac50112cea86886d3 Binary files /dev/null and b/fc-discuss/2016-November.txt.gz differ diff --git a/fc-discuss/2016-October.txt.gz b/fc-discuss/2016-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..fcb457c6b20b36bbab7041cab05ba60abadc1582 Binary files /dev/null and b/fc-discuss/2016-October.txt.gz differ diff --git a/fc-discuss/2016-September.txt.gz b/fc-discuss/2016-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..1b4a0ad6212ddceffdef45e4ca9c67ba37d7578b Binary files /dev/null and b/fc-discuss/2016-September.txt.gz differ diff --git a/fc-discuss/2017-April.txt.gz b/fc-discuss/2017-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..8c56a35b663da7c69a90dd79ee229ac8b27c7b0f Binary files /dev/null and b/fc-discuss/2017-April.txt.gz differ diff --git a/fc-discuss/2017-August.txt.gz b/fc-discuss/2017-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..53488689841aaf7865ad00a107917017db60f7e8 Binary files /dev/null and b/fc-discuss/2017-August.txt.gz differ diff --git a/fc-discuss/2017-December.txt.gz b/fc-discuss/2017-December.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..6c5b3d93dca0cced441a9c042e83609a0cd70eb7 Binary files /dev/null and b/fc-discuss/2017-December.txt.gz differ diff --git a/fc-discuss/2017-February.txt.gz b/fc-discuss/2017-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..f24758c8562e24fedb057b82bb2e82be70004efb Binary files /dev/null and b/fc-discuss/2017-February.txt.gz differ diff --git a/fc-discuss/2017-January.txt.gz b/fc-discuss/2017-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..41b61076f3c99cbb5b23569d5ee1109074cf7f28 Binary files /dev/null and b/fc-discuss/2017-January.txt.gz differ diff --git a/fc-discuss/2017-July.txt.gz b/fc-discuss/2017-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..660a75ef8fd75a7ffa7be7ca9eccd7d8340c0175 Binary files /dev/null and b/fc-discuss/2017-July.txt.gz differ diff --git a/fc-discuss/2017-June.txt.gz b/fc-discuss/2017-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..caa5e32e567790c94a1bb20f4f48d40452e25943 Binary files /dev/null and b/fc-discuss/2017-June.txt.gz differ diff --git a/fc-discuss/2017-March.txt.gz b/fc-discuss/2017-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..5a0aceb384ade2bb041ec46776202768c8e9b4d8 Binary files /dev/null and b/fc-discuss/2017-March.txt.gz differ diff --git a/fc-discuss/2017-May.txt.gz b/fc-discuss/2017-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..0d3410fd62eab9e1b8f2d18ecfe2eb58937b7762 Binary files /dev/null and b/fc-discuss/2017-May.txt.gz differ diff --git a/fc-discuss/2017-November.txt.gz b/fc-discuss/2017-November.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..858443b04a99d4373bba50d98ee27c8dcffb1626 Binary files /dev/null and b/fc-discuss/2017-November.txt.gz differ diff --git a/fc-discuss/2017-October.txt.gz b/fc-discuss/2017-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..e43723163f6da7f6779b55355bf0490d44912be4 Binary files /dev/null and b/fc-discuss/2017-October.txt.gz differ diff --git a/fc-discuss/2017-September.txt.gz b/fc-discuss/2017-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..e835b5e7a5360ab29ee3889964109a53bc9d7010 Binary files /dev/null and b/fc-discuss/2017-September.txt.gz differ diff --git a/fc-discuss/2018-April.txt.gz b/fc-discuss/2018-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..0a7dc2edadb399cec21d2f9ebf61369c52fdde59 Binary files /dev/null and b/fc-discuss/2018-April.txt.gz differ diff --git a/fc-discuss/2018-August.txt.gz b/fc-discuss/2018-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..7cd5336ed414afaa425fb1576217f951a7bec23f Binary files /dev/null and b/fc-discuss/2018-August.txt.gz differ diff --git a/fc-discuss/2018-December.txt.gz b/fc-discuss/2018-December.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..70f740c8f96f60b3ac2cf3be83ab12c5cfab460f Binary files /dev/null and b/fc-discuss/2018-December.txt.gz differ diff --git a/fc-discuss/2018-February.txt.gz b/fc-discuss/2018-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..a0edf6c00044ceb6b15e273efb47d9d33bf0a2d9 Binary files /dev/null and b/fc-discuss/2018-February.txt.gz differ diff --git a/fc-discuss/2018-January.txt.gz b/fc-discuss/2018-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..8a12ca1c77a5c35e68d7a5bae1176b70c4039899 Binary files /dev/null and b/fc-discuss/2018-January.txt.gz differ diff --git a/fc-discuss/2018-July.txt.gz b/fc-discuss/2018-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..e2acdadb11dafe5781d79c2a0c0c9663e57f3609 Binary files /dev/null and b/fc-discuss/2018-July.txt.gz differ diff --git a/fc-discuss/2018-June.txt.gz b/fc-discuss/2018-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..038f8b7e5200b1d19d75d1bcee1fe128a545398a Binary files /dev/null and b/fc-discuss/2018-June.txt.gz differ diff --git a/fc-discuss/2018-March.txt.gz b/fc-discuss/2018-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..096350d5d9bdf8380d30f69426d92a57a7c36e5a Binary files /dev/null and b/fc-discuss/2018-March.txt.gz differ diff --git a/fc-discuss/2018-May.txt.gz b/fc-discuss/2018-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..481356eee919fa3d713517dae0410ca06660067e Binary files /dev/null and b/fc-discuss/2018-May.txt.gz differ diff --git a/fc-discuss/2018-November.txt.gz b/fc-discuss/2018-November.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..90fa6b1dd3329962614324d31771f3d99aa95b6d Binary files /dev/null and b/fc-discuss/2018-November.txt.gz differ diff --git a/fc-discuss/2018-October.txt.gz b/fc-discuss/2018-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..4043fa7444296a1a6b2557782a25ef05a8b0f0a9 Binary files /dev/null and b/fc-discuss/2018-October.txt.gz differ diff --git a/fc-discuss/2018-September.txt.gz b/fc-discuss/2018-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..5303ea2c2bd2cf538d7611559d7df487710d098e Binary files /dev/null and b/fc-discuss/2018-September.txt.gz differ diff --git a/fc-discuss/2019-April.txt.gz b/fc-discuss/2019-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..ff881a8f15b19594f2080f57f9fcdc8ae394732c Binary files /dev/null and b/fc-discuss/2019-April.txt.gz differ diff --git a/fc-discuss/2019-August.txt.gz b/fc-discuss/2019-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..f9f1e1ed7bd80b4deeebce787cc2624e2ac837a3 Binary files /dev/null and b/fc-discuss/2019-August.txt.gz differ diff --git a/fc-discuss/2019-December.txt.gz b/fc-discuss/2019-December.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..60e0fac2c74e5403cb1bb18b9e57503f86f62171 Binary files /dev/null and b/fc-discuss/2019-December.txt.gz differ diff --git a/fc-discuss/2019-February.txt.gz b/fc-discuss/2019-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..f98c29a72a3e4c06a7be0ef37d4efb94ff36cc1a Binary files /dev/null and b/fc-discuss/2019-February.txt.gz differ diff --git a/fc-discuss/2019-January.txt.gz b/fc-discuss/2019-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..b8be33748ce668cbc69aaa481fe8aee49b71067a Binary files /dev/null and b/fc-discuss/2019-January.txt.gz differ diff --git a/fc-discuss/2019-July.txt.gz b/fc-discuss/2019-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..750d5f9b29f263450a009684f7c8f8a451515783 Binary files /dev/null and b/fc-discuss/2019-July.txt.gz differ diff --git a/fc-discuss/2019-June.txt.gz b/fc-discuss/2019-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..a9ca39b4affe395f1ad0b13e690d0d01379e67bf Binary files /dev/null and b/fc-discuss/2019-June.txt.gz differ diff --git a/fc-discuss/2019-March.txt.gz b/fc-discuss/2019-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..1b68f312ee176d344c1c80944b7d275d79803eab Binary files /dev/null and b/fc-discuss/2019-March.txt.gz differ diff --git a/fc-discuss/2019-May.txt.gz b/fc-discuss/2019-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..b04e22fb048180088c1612c6ff9d8576a9a77122 Binary files /dev/null and b/fc-discuss/2019-May.txt.gz differ diff --git a/fc-discuss/2019-November.txt.gz b/fc-discuss/2019-November.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..a083a740d98d35a381ed6b19bd5689c48a5cb8a8 Binary files /dev/null and b/fc-discuss/2019-November.txt.gz differ diff --git a/fc-discuss/2019-October.txt.gz b/fc-discuss/2019-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..87de40d72ceb4afd194517efac5c7a67f918f39b Binary files /dev/null and b/fc-discuss/2019-October.txt.gz differ diff --git a/fc-discuss/2019-September.txt.gz b/fc-discuss/2019-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..4836fdef4ad650a7b4fac7a137257a6578ad3d53 Binary files /dev/null and b/fc-discuss/2019-September.txt.gz differ diff --git a/fc-discuss/2020-April.txt.gz b/fc-discuss/2020-April.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..0328006e6fc8685f203c599cec3b4cec5e979852 Binary files /dev/null and b/fc-discuss/2020-April.txt.gz differ diff --git a/fc-discuss/2020-August.txt.gz b/fc-discuss/2020-August.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..ce4ffd1f99f8b2a14f352a289a89ff1a5caca7f8 Binary files /dev/null and b/fc-discuss/2020-August.txt.gz differ diff --git a/fc-discuss/2020-February.txt.gz b/fc-discuss/2020-February.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..23b6dab7d6ef15ed6ac54334f4f817d2fbadb690 Binary files /dev/null and b/fc-discuss/2020-February.txt.gz differ diff --git a/fc-discuss/2020-January.txt.gz b/fc-discuss/2020-January.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..a8cc1d994cc0b8a478760c2c30d17ef4a017ac7d Binary files /dev/null and b/fc-discuss/2020-January.txt.gz differ diff --git a/fc-discuss/2020-July.txt.gz b/fc-discuss/2020-July.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..c5b0b9032cd6afea090765c437d7c9016c68e17b Binary files /dev/null and b/fc-discuss/2020-July.txt.gz differ diff --git a/fc-discuss/2020-June.txt.gz b/fc-discuss/2020-June.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..dc841934ac44b2cb03016c047b823986adab3b6f Binary files /dev/null and b/fc-discuss/2020-June.txt.gz differ diff --git a/fc-discuss/2020-March.txt.gz b/fc-discuss/2020-March.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..8a1502b4c0020094033e3f6a4c3c2d3a9262f76b Binary files /dev/null and b/fc-discuss/2020-March.txt.gz differ diff --git a/fc-discuss/2020-May.txt.gz b/fc-discuss/2020-May.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..d9302a79a5e0e7f36ff2bc3bb02df88a10e9b607 Binary files /dev/null and b/fc-discuss/2020-May.txt.gz differ diff --git a/fc-discuss/2020-October.txt.gz b/fc-discuss/2020-October.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..f94e41623883bc16d1b11275093150ddf4364a5b Binary files /dev/null and b/fc-discuss/2020-October.txt.gz differ diff --git a/fc-discuss/2020-September.txt.gz b/fc-discuss/2020-September.txt.gz new file mode 100755 index 0000000000000000000000000000000000000000..eaecfdd65b49ebd5d794fd48907aaa670d9eecaf Binary files /dev/null and b/fc-discuss/2020-September.txt.gz differ diff --git a/fc-discuss/Makefile b/fc-discuss/Makefile new file mode 100644 index 0000000000000000000000000000000000000000..d20aaedba0c1fb0a33705bf03d78256e93b8b4b6 --- /dev/null +++ b/fc-discuss/Makefile @@ -0,0 +1,19 @@ +ARCHIVES:=$(wildcard *.txt.gz) +OUTDIR:=html/fc-discuss +OUTROOT:=.. +OUTTARGET:=$(OUTROOT)/$(OUTDIR) +HTML:=$(ARCHIVES:%.txt.gz=$(OUTTARGET)/%/index.html) + +$(OUTTARGET)/archives.md: $(HTML) archives-header.md + rm -fr $@ + cp archives-header.md $@ + $(foreach file,$(HTML), \ + BASE=$(file:$(OUTTARGET)/%/index.html=%); \ + echo "## $$BASE" >> $@; \ + echo "- [By date]($(OUTDIR)/$$BASE/index.html)" >> $@; \ + echo "- [By thread]($(OUTDIR)/$$BASE/thread.html)" >> $@; \ + ) + +$(OUTTARGET)/%/index.html: %.txt.gz + mkdir -p $(dir $@) + mhonarc -outdir $(dir $@) $< diff --git a/fc-discuss/README.md b/fc-discuss/README.md new file mode 100644 index 0000000000000000000000000000000000000000..bb5318695f56786f592c257de0209e5b244b5f73 --- /dev/null +++ b/fc-discuss/README.md @@ -0,0 +1,3 @@ +This directory contains the raw archives of the old frama-c-discuss mailing list hosted by Inria's gforge until September 2020. do make to generate +the html version that will be displayed on the public site. You need +[MHonArc](https://mhonarc.org) for that. diff --git a/fc-discuss/archives-header.md b/fc-discuss/archives-header.md new file mode 100644 index 0000000000000000000000000000000000000000..3394e66790bbf84a08a4f89aa09c2654febdf28f --- /dev/null +++ b/fc-discuss/archives-header.md @@ -0,0 +1,11 @@ +--- +layout: default +title: Archives of the old Frama-C-discuss mailing list +--- + +# Frama-C-discuss mailing list archives + +This page gathers the archives of the old Frama-C-discuss archives, that was hosted by [Inria](https://www.inria.fr)'s gforge before its demise at the +end of 2020. To search for mails newer than September 2020, please visit +the page of the new mailing list at https://groupes.renater.fr/frama-c-discuss +