From 08ce8fa7b3636ccc4a9deb7583ba7102500ed975 Mon Sep 17 00:00:00 2001
From: Daniele Fucini <dfucini@gmail.com>
Date: Mon, 19 Jun 2023 16:58:04 +0200
Subject: [PATCH] Update .bashrc

---
 .bashrc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.bashrc b/.bashrc
index c8b3199..04111ae 100644
--- a/.bashrc
+++ b/.bashrc
@@ -12,7 +12,6 @@ complete -c man
 # Aliases
 alias cinnamon-restart='nohup cinnamon --replace > /dev/null 2>&1 &'
 alias config='/usr/bin/git --git-dir=$HOME/.dotfiles/ --work-tree=$HOME'
-alias latex='lualatex'
 alias ls='ls -v --color=auto'
 alias mutt='pushd ~/Downloads > /dev/null; mutt; popd > /dev/null'
 alias sort='sort -n'