cider - Debian dgit repo for package cider

	Commit message (Collapse)	Author	Age
*	Set the edit_uri explicitly	Bozhidar Batsov	2018-08-06
\| \| \| \| \| \| \|	I assumed it was derived from the `docs_dir`, it seems it's set by default to `edit/master/docs/`. More details - https://www.mkdocs.org/user-guide/configuration/#edit_uri
*	[Fix #2341] Update connection management section in the manual (#2364)	Vitalie Spinu	2018-06-30
\|
*	Use a fancy copyright symbol	Bozhidar Batsov	2018-06-17
\|
*	Add the admonitions markdown extension	Bozhidar Batsov	2018-06-17
\| \| \| \| \|	Seems those notes I was trying to add need this to be enabled to work https://python-markdown.github.io/extensions/admonition/
*	Move the ClojureScript documentation to a dedicated section of the	Bozhidar Batsov	2018-04-27
\| \| \| \|	manual
*	Bump the copyright years	Bozhidar Batsov	2018-01-01
\|
*	[Fix #1862] Add "Hacking on CIDER" section to the manual	Bozhidar Batsov	2017-01-04
\|
*	Update the copyright years in the documentation	Bozhidar Batsov	2017-01-03
\|
*	Add a FAQ section to the manual	Bozhidar Batsov	2016-10-06
\|
*	Fix CIDER expansion in the docs (#1754)	Puneeth Chaganti	2016-05-19
\|
*	Move the changelog to a separate manual section	Bozhidar Batsov	2016-04-13
\|
*	Group a few pages together in an About section of the manual	Bozhidar Batsov	2016-04-13
\|
*	Try to deal with an encoding issue	Bozhidar Batsov	2016-04-13
\| \| \| \|	For some reason unicode characters break the readthedocs build.
*	Add a copyright notice to the manual	Bozhidar Batsov	2016-04-13
\|
*	Use the readthedocs theme locally	Bozhidar Batsov	2016-04-13
\|
*	Extract a dedicated section for connection management	Bozhidar Batsov	2016-04-12
\|
*	Rename "Extended Workflow" to "Miscellaneous Features"	Bozhidar Batsov	2016-04-11
\|
*	Fix a couple of manual section references	Bozhidar Batsov	2016-04-11
\|
*	Extract a few more standalone manual sections from extended workflow	Bozhidar Batsov	2016-04-10
\|
*	Extract a standalone code completion section	Bozhidar Batsov	2016-04-10
\|
*	Add a repo url and a favicon to the manual	Bozhidar Batsov	2016-04-10
\|
*	Prettify the keybindings in the manual with some custom css	Bozhidar Batsov	2016-04-09
\|
*	Split the basic usage section in two	Bozhidar Batsov	2016-04-06
\|
*	Introduce a dedicated REPL section	Bozhidar Batsov	2016-04-06
\|
*	Slim down the manual's home page	Bozhidar Batsov	2016-04-02
\|
*	Improve a section title	Bozhidar Batsov	2016-03-31
\|
*	Add a support section to the manual	Bozhidar Batsov	2016-03-31
\|
*	Create a dedicate manual section for additional packages	Bozhidar Batsov	2016-03-30
\|
*	Revert "Change the manual's theme"	Bozhidar Batsov	2016-03-29
\| \| \| \| \| \| \|	This reverts commit b59729612fef2db0be668e05dc385408904f38de. Turned out readthedocs doesn't support changing mkdocs's theme. More info here - https://github.com/rtfd/readthedocs.org/issues/978
*	Change the manual's theme	Bozhidar Batsov	2016-03-29
\|
*	Use only underscores in manual file names	Bozhidar Batsov	2016-03-28
\|
*	Move the additional resources to a separate section of the manual	Bozhidar Batsov	2016-03-28
\|
*	Move the team info to a separate section of the manual	Bozhidar Batsov	2016-03-28
\|
*	Break up the manual into several documents	Bozhidar Batsov	2016-03-28
\|
*	Update the name of the indentation page's source	Bozhidar Batsov	2016-03-28
\|
*	Introduce the first draft of an online manual	Bozhidar Batsov	2016-03-28
	It's based on mkdocs and is hosted at readthedocs.org.