 DeepSource Bot
|
366704470c
Update .deepsource.toml
|
3 rokov pred |
|
DeepSource Bot
|
18e5dd325a
Add .deepsource.toml
|
3 rokov pred |
 Jeffrey H. Johnson
|
2845056cb5
Update README.md: Add link to GitLab mirror.
|
3 rokov pred |
|
Jeffrey H. Johnson
|
2cf8faab6d
Update README.md: Fix typo
|
3 rokov pred |
|
Jeffrey H. Johnson
|
bc6b12f5b0
Update README.md: Enable Chisel link, small fixes.
|
3 rokov pred |
|
Jeffrey H. Johnson
|
ebaf1bbc7b
README.md: Temp. disable Chisel mirror link
|
3 rokov pred |
|
Jeffrey H. Johnson
|
30c93c5056
README.md: Add NotABug.org/reduce-algebra mirror.
|
3 rokov pred |
|
Jeffrey H. Johnson
|
a976af7254
README.md: Enable Chisel fossil mirror links.
|
3 rokov pred |
|
Jeffrey H. Johnson
|
008d7a204b
README.md: Comment out Chisel mirror until sync'd
|
3 rokov pred |
|
Jeffrey H. Johnson
|
26104467e6
Update README.md: Section headers, links, etc.
|
3 rokov pred |
 Jeff Johnson
|
abf1973925
multi: Update to PR autoresponder, add SECURITY.md
|
3 rokov pred |
|
Jeff Johnson
|
9365be23d0
Update .gitattributes: Exclude doc from Linguist.
|
3 rokov pred |
|
Jeff Johnson
|
b9d9d7094a
Update .gitattributes: Exclude TeX from Linguist
|
3 rokov pred |
|
Jeff Johnson
|
9e45cf214e
Update .gitattributes: Exclude *.sl/*.red files.
|
3 rokov pred |
|
Jeff Johnson
|
098e251d84
Add .gitattributes: GitHub Linguist overrides.
|
3 rokov pred |
|
Jeff Johnson
|
5bb3e64332
Update README.md: Markdown and minor formatting.
|
3 rokov pred |
|
Jeff Johnson
|
08b6897e68
Update README.md: Provide links to documentation.
|
3 rokov pred |
|
Jeff Johnson
|
4f56cf5667
Create `doc` subdirectory, organize documentation.
|
3 rokov pred |
|
Jeff Johnson
|
b401154b04
Update README.md: Expand Markdown formatting.
|
3 rokov pred |
|
Jeff Johnson
|
9cfa2b05b4
Update README.md: Expand README, link to LICENSE.
|
3 rokov pred |
|
Jeff Johnson
|
ab59118cfc
Update README.md: Link to upstream homepage.
|
3 rokov pred |
|
Jeff Johnson
|
787fc59aa8
multi: Configure GitHub-specific applications.
|
3 rokov pred |
|
Jeff Johnson
|
f8c7dc117c
Initial checkin: GRG 3.2 Release 6 (July 16, 2000)
|
3 rokov pred |
