bot-base/Pipfile

[[source]]
url = "https://pypi.org/simple"
verify_ssl = true
name = "pypi"

[packages]
packaging = "*"
toml = "*"
websockets = "*"
"discord.py" = {version = "*",extras = ["voice",]}

[dev-packages]
pytest = "*"
sphinx = "*"
sphinx-rtd-theme = "*"
watchgod = "*"

[requires]
python_version = "3.8"
Initial commit 2019-04-28 18:59:08 +02:00			`[[source]]`
			`url = "https://pypi.org/simple"`
			`verify_ssl = true`
			`name = "pypi"`

			`[packages]`
			`packaging = "*"`
[base] J'ai fait bc de chose et je ne sais pas quoi mettre en résumé 2019-08-16 19:11:21 +02:00			`toml = "*"`
Début de backend 2020-06-20 11:17:55 +02:00			`websockets = "*"`
[mod-perdu] Voilà tout ce que j'ai 2020-04-05 12:09:46 +02:00			`"discord.py" = {version = "*",extras = ["voice",]}`
Suppression des dépendances inutiles 2020-04-24 22:52:33 +02:00
			`[dev-packages]`
Ajout des dépendances 2020-04-14 02:51:29 +02:00			`pytest = "*"`
Dépendances 2020-04-14 03:04:05 +02:00			`sphinx = "*"`
[main] Update some docstrings, remove config check [doc] Put all config_types on same page, add link to python and discord.py doc [config] Add some doc, solve KeyError when loading config file [config-types] Add some doc, add guild type 2020-04-21 02:59:08 +02:00			`sphinx-rtd-theme = "*"`
[bot-base] Faut pas sauvegarder quand on initialise les valeurs par défaut, sinon ca sert à rien de sauvegarder une config [config] Ajout de la possibilité de ne pas sauvegarder 2020-04-27 13:35:26 +02:00			`watchgod = "*"`
Initial commit 2019-04-28 18:59:08 +02:00
			`[requires]`
[bot-base] Ajout de la gestion des dépendances 2020-04-21 23:19:16 +02:00			`python_version = "3.8"`