Adding latex's comment

This commit is contained in:
Lyes Saadi 2024-07-02 17:08:48 +02:00
parent 1df677a050
commit a4c1907cce
No known key found for this signature in database
GPG key ID: 17418538BAA17767

View file

@ -15,7 +15,8 @@ let
footmisc footmisc
titling titling
frpseudocode frpseudocode
ebproof; ebproof
comment;
}); });
in { in {
users.users.lyes.packages = with pkgs; [ users.users.lyes.packages = with pkgs; [