diff options
| author | Alexander Kriegisch <Alexander@Kriegisch.name> | 2024-02-15 09:36:18 +0700 |
|---|---|---|
| committer | Alexander Kriegisch <Alexander@Kriegisch.name> | 2024-02-15 09:36:18 +0700 |
| commit | cbdbba0ab06898cd7ab6d69e33d2db990d8b8799 (patch) | |
| tree | c3b626837aecc15c53330d6afd68f94d136ff641 /docs/developer | |
| parent | 70fb6131935806f7e2041c5dfd0ac81164670875 (diff) | |
| download | aspectj-cbdbba0ab06898cd7ab6d69e33d2db990d8b8799.tar.gz aspectj-cbdbba0ab06898cd7ab6d69e33d2db990d8b8799.zip | |
Globally replace "http:" by "https:" in non-XML files
Maybe, the XML files and Maven wrapper files will follow. First, let us
find out if this breaks the build, maybe some tests are asserting on
"http:". But there, the replacement would also have taken place, so
probably it just works.
Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>
Diffstat (limited to 'docs/developer')
| -rw-r--r-- | docs/developer/traces/ajc_batchBuild_annotated.htm | 2 | ||||
| -rw-r--r-- | docs/developer/traces/ajc_hello_annotated.htm | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/docs/developer/traces/ajc_batchBuild_annotated.htm b/docs/developer/traces/ajc_batchBuild_annotated.htm index 50f1062c8..c151a00bd 100644 --- a/docs/developer/traces/ajc_batchBuild_annotated.htm +++ b/docs/developer/traces/ajc_batchBuild_annotated.htm @@ -1,6 +1,6 @@ <html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" -xmlns="http://www.w3.org/TR/REC-html40"> +xmlns="https://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=Content-Type content="text/html; charset=windows-1252"> diff --git a/docs/developer/traces/ajc_hello_annotated.htm b/docs/developer/traces/ajc_hello_annotated.htm index d4577f302..4fde93329 100644 --- a/docs/developer/traces/ajc_hello_annotated.htm +++ b/docs/developer/traces/ajc_hello_annotated.htm @@ -1,6 +1,6 @@ <html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" -xmlns="http://www.w3.org/TR/REC-html40"> +xmlns="https://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=Content-Type content="text/html; charset=windows-1252"> |