Erik Navy.gif
1 Followers · 0 Following
Overview Repositories
19
 Projects Packages Public Activity Starred Repositories
Navy.gif pushed to master at Navy.gif/command-parser 2023-08-15 16:51:17 +02:00
94d1291ffb Use command interface internally
5e4c6bd7a3 v1.5.3
8881f5c6d9 Export command interface
9497ad6996 v1.5.2
0410e8d707 same as previous
Compare 5 commits »
Navy.gif pushed to main at Navy.gif/wrappers 2023-08-12 22:05:02 +02:00
395c9ed818 remove debug statement
41474e75a6 v1.5.10
Compare 2 commits »
Navy.gif pushed to main at Navy.gif/wrappers 2023-08-12 21:20:18 +02:00
bf87208b92 debug statement
Navy.gif pushed to master at Navy.gif/webserver-framework 2023-08-11 12:04:58 +02:00
6a1dfd29c7 upgrade dependency
Navy.gif pushed to main at Navy.gif/wrappers 2023-08-11 12:03:55 +02:00
f36d020bce v1.5.9
e4e6fdf843 handle index mismatches properly
93d205eb37 v1.5.8
42b212273c recreate index if exists when conflict occurs
Compare 4 commits »
Navy.gif pushed to master at Navy.gif/webserver-framework 2023-08-11 11:32:27 +02:00
22737e5797 more logging
Navy.gif pushed to master at Navy.gif/webserver-framework 2023-08-11 11:19:59 +02:00
3ade1a816a change username index to not be case sensitive
Navy.gif pushed to master at Navy.gif/logger 2023-08-11 10:48:36 +02:00
40f6bc572e v2.4.3
115e832109 option to not write to file at all
Compare 2 commits »
Navy.gif pushed to main at Navy.gif/wrappers 2023-08-10 09:52:53 +02:00
74907c6129 v1.5.7
Navy.gif pushed to main at Navy.gif/wrappers 2023-08-10 09:52:33 +02:00
8297b2ef2b export mariadb types and upgrade dependency
Navy.gif pushed to master at Navy.gif/logger 2023-08-10 02:52:30 +02:00
4c68f237ff bump version
9ff3ad7248 update typings
Compare 2 commits »
Navy.gif pushed to master at Navy.gif/webserver-framework 2023-07-19 22:25:27 +02:00
59f2d1ffd5 upgrade dependency
Navy.gif pushed to main at Navy.gif/wrappers 2023-07-19 22:24:58 +02:00
308c9cb63d v1.5.6
2cd8ba3ba0 method for ensuring multiple indices
Compare 2 commits »
Navy.gif pushed to master at Navy.gif/webserver-framework 2023-07-18 22:50:41 +02:00
b358610610 upgrade dependency
Navy.gif pushed to master at Navy.gif/webserver-framework-frontend 2023-07-18 16:11:56 +02:00
17b338fc49 perms + re-auth after passwd change
Navy.gif pushed to master at Navy.gif/webserver-framework 2023-07-18 16:11:36 +02:00
eafae55e35 perms + tell the client to re-auth after passwd change
Navy.gif pushed to main at Navy.gif/wrappers 2023-07-17 19:36:45 +02:00
84ba3423e2 v1.5.5
34ab54ebff update typing
Compare 2 commits »
Navy.gif pushed to master at Navy.gif/webserver-framework-frontend 2023-07-17 17:52:58 +02:00
d775b65738 Flag manipulation
Navy.gif pushed to master at Navy.gif/webserver-framework 2023-07-17 17:52:32 +02:00
9f6df93d9f flag delete functionality
Navy.gif created branch main in Navy.gif/OptimisationProblem 2023-07-17 00:19:19 +02:00