Julian Gomez 358bdb3267 Export with title or file name (#870) ... * Export file with title or file name * Export with title or file name * Add Session.file_name_for_download/1 * Compute the name without calling the server Co-authored-by: Jonatan Kłosko <jonatanklosko@gmail.com>		2022-02-03 21:17:30 +01:00
..
livebook	Export with title or file name (#870)	2022-02-03 21:17:30 +01:00
livebook_cli	Pass file or directory as open command (#969)	2022-02-03 20:26:18 +01:00
livebook_web	Export with title or file name (#870)	2022-02-03 21:17:30 +01:00
livebook.ex	Introduce LIVEBOOK_HOME and LIVEBOOK_DATA_PATH (#963)	2022-01-31 11:51:57 +01:00
livebook_app.ex	Adjust stop reasons for server processes (#958)	2022-01-30 13:30:33 +01:00
livebook_cli.ex
livebook_web.ex