diff options
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,6 +5,7 @@ archive/* backups/* compiled/* +public/* slides/*.pdf _main_files @@ -19,4 +20,3 @@ _main_files # Local customizations Makefile.local -public |
index : bookup | ||
Unnamed repository; edit this file 'description' to name the repository. | git repository hosting |
aboutsummaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 2 |
@@ -5,6 +5,7 @@ archive/* backups/* compiled/* +public/* slides/*.pdf _main_files @@ -19,4 +20,3 @@ _main_files # Local customizations Makefile.local -public |