Skip to content

Commit

Permalink
remove duplicate
Browse files Browse the repository at this point in the history
  • Loading branch information
@eloiferrer
eloiferrer committed Jun 20, 2024
1 parent e2142dd commit 3347c54
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions mediawiki/LocalSettings.d/LocalSettings.override.php
View file
Original file line number Diff line number Diff line change
Expand Up @@ -175,5 +175,3 @@
$wgMathProfileQIdMap['dataset']='Q5984635';
$wgMathProfileQueries['community']='?item wdt:P1460 wd:Q6205095';
$wgMathProfileQIdMap['community']='Q6205095';

$wgMathEnableExperimentalInputFormats=true

0 comments on commit 3347c54

Please sign in to comment.