replaced codex with regula

This commit is contained in:
Michael Peter Christen committed 2026-01-08 20:23:57 +01:00
1 parent 9f954b45dd
commit c7d6e64757
2 files changed
+2 -2

No files matched your search

+1 -1
View File
@@ -23,7 +23,7 @@
<option value="mix" selected="selected">mix - a mix of document types, for content from wide web crawls</option>
<option value="core">core - technical documentation, operation systems, computer hardware, open source and free software, manuals, protocol standards</option>
<option value="scroll">scroll - non-technical documents: knowledge, encyclopedia, linguistic corpora, dictionaries, translation memories, texts, non-fiction books, historical books</option>
<option value="codex">codex - non-technical standards: industry standards, laws, rules, compliance</option>
<option value="regula">regula - non-technical standards: industry standards, laws, rules, compliance</option>
<option value="gem">gem - research, papers, university publications, science</option>
<option value="fiction">fiction - fictional documents: movies, stories, series, books (fiction, science-fiction)</option>
<option value="map">map - geological data, geolocation-data, earth/world information</option>