mirror of
https://github.com/MarginaliaSearch/MarginaliaSearch.git
synced 2025-02-25 05:38:59 +00:00
1d34224416
Look, this will make the git history look funny, but trimming unnecessary depth from the source tree is a very necessary sanity-preserving measure when dealing with a super-modularized codebase like this one. While it makes the project configuration a bit less conventional, it will save you several clicks every time you jump between modules. Which you'll do a lot, because it's *modul*ar. The src/main/java convention makes a lot of sense for a non-modular project though. This ain't that.
10 lines
372 B
Plaintext
10 lines
372 B
Plaintext
<a name="top"></a>
|
|
<header>
|
|
<nav>
|
|
<a href="https://www.marginalia.nu/">Marginalia</a>
|
|
<a href="https://memex.marginalia.nu/projects/edge/about.gmi">About</a>
|
|
<a href="https://memex.marginalia.nu/projects/edge/supporting.gmi">Donate</a>
|
|
<a class="extra" href="https://search.marginalia.nu/explore/random">Random</a>
|
|
</nav>
|
|
</header>
|