Rename external directory to third-party.

This commit is contained in:
Juliusz Chroboczek
2024-11-16 18:12:15 +01:00
parent 7ed23b1eb8
commit ee4174a4d6
26 changed files with 11 additions and 11 deletions
+3 -3
View File
@@ -7,9 +7,9 @@
<link rel="stylesheet" href="/common.css">
<link rel="stylesheet" type="text/css" href="/404.css"/>
<link rel="author" href="https://www.irif.fr/~jch/"/>
<link rel="stylesheet" type="text/css" href="/external/fontawesome/css/fontawesome.min.css"/>
<link rel="stylesheet" type="text/css" href="/external/fontawesome/css/solid.min.css"/>
<link rel="stylesheet" type="text/css" href="/external/fontawesome/css/regular.min.css"/>
<link rel="stylesheet" type="text/css" href="/third-party/fontawesome/css/fontawesome.min.css"/>
<link rel="stylesheet" type="text/css" href="/third-party/fontawesome/css/solid.min.css"/>
<link rel="stylesheet" type="text/css" href="/third-party/fontawesome/css/regular.min.css"/>
</head>
<body>